NR == 1{
printf("%20s %6s %6s %6s\n",$1,$2,$3,$4)
}
NR >= 2{
printf ("%20s %6s %6d %6d\n",$1,$2,$3,$4)
}
#

JGAWK