awk ' BEGIN { ref = '$1' } { printf" %04d %4d %7.3f %6.3f %6.3f\n", $1,ref,$4,$5,$6 } '