"0.142159"^^ . . . "2"^^ . . . "3"^^ . . . "3"^^ .