"0.15725"^^ . . . . "10"^^ . . . "3"^^ . . . "6"^^ . . . . . . . .