"0.14645"^^ . . . "2"^^ . . "2"^^ . . "2"^^ . .