print right$("00000";using("#####.##",7.125),8) ' => 00007.13