"0.243445"^^ . . . . . . . . . . . . . "10"^^ . . "3"^^ . "8"^^ . .