. . . . "0.580108"^^ . . . . . . . . . "15"^^ . . "3"^^ . . . . . . "12"^^ . .