printf("A%-2d%5dmm x%5dmm ",$a++,$x,2*$x/=1.414););