Print str$(7.125,"00000.000")