{
printf ("%20s %6s %6s\n",$1,$5,$6)
}
#

JGAWK