. . . "0.134253"^^ . . "3"^^ . . . . "11"^^ . . . . . . . "9"^^ . . .