{ printf "[%10s] [%-16d]\n", $1, $3 }