printf "%09d", 213;

__output__

000000213