"0.139712"^^ . . . "2"^^ . . "2"^^ . "2"^^ . . .