print(string.format("%09.3d",7.125))