#/bin/sh
awk '{printf("%7d\n", $8)}' $1
