right("00000" & format(7.12511, "f3"), 9)