"0.41916"^^ . . . "7"^^ . . . . "15"^^ . . . . . . "13"^^ . . . . . . . . . . . . . .