Shell Programming and Scripting

hi

i want to append zeros to a given number ( varying digits). the total length of the output should be 10 digits. For example:
1)input is var=347
output should be NewVar=0000000347
2) input is var=123456
output should be NewVar=0000123456

i am able to acheive this using typeset command below:
typeset -Z10 NewVar=$var

but this typeset is behavioring differently in different unix environments, so i am looking for this solution using AWK command.

please help me with the solution ASAP.

Code:

awk -vx=5 'BEGIN{printf "%010d",x}'

I think you can proceed from that.