awk ' {
printf "%s",$0
for(i=0;i<20;i++) printf "-00001"
print ""  } ' HEAD.B >HEAD.A

