"0.233015"^^ . . "8"^^ . . . . . . . . . "2"^^ . . . "4"^^ .