awk ' $1  <1000 { next }
{ printf "%.6d%s\n",++j,substr($0,7) } ' HEAD >HEAD.F

