. . . . "0.254251"^^ . . . . . "6"^^ . . . . "9"^^ . "5"^^ . . . . .