>>662
スペース詰めなら
printf("%4s", str);

ゼロ詰めなら
一回Integerくらいに変換して
printf("%04d", new Integer(str));