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