"0.312562"^^ . . . . . . . . . . . . . . . . . . . . . "17"^^ . . . "25"^^ . . . . . . . . . . . "10"^^ . . . . .