print sprintf("%09.3f", 7.125)