"0.233911"^^ . . "5"^^ . . . . . . . . . . . . . . "8"^^ . . . "10"^^ .