. . . "0.720301"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "3"^^ . . . . . . . . . . "58"^^ . . . . . . . . . . "42"^^ . . . . . . . . . . . . . .