printf "%03d\n" 12