"0.708771"^^ . . . "3"^^ . . "3"^^ . . "3"^^ . . . .