awk ' BEGIN {
xc='$1'+0
yc='$2'+0
}
{
printf" %04d%9.2f%9.2f\n",$1,$2-xc,$3-yc
} '
