"0.254743"^^ . . "2"^^ . . . "2"^^ . . . "2"^^ .