. . . "4"^^ . "0.087534"^^ . . . "4"^^ . "2"^^ . . .