10 print using "0000#.###";7.125