in reply to Problems with zero filling a number.
printf "%09d", 213; __output__ 000000213 [download]
_________broquaint