"0.231493"^^ . . "2"^^ . . . "2"^^ . . . "2"^^ .