printf(1,"%09.3f\n",7.125)