. . . "0.254765"^^ . "8"^^ . . . . . . . . "4"^^ . "8"^^ . . . .