. . . . "0.251075"^^ . . . . "3"^^ . . . "9"^^ . . . "9"^^ . . .