"0.226251"^^ . . . . . . . . . . "23"^^ . . . . . . . . . . . . . . . . "10"^^ . . . . . "9"^^ . . . . . . .