"0.175777"^^ . . . "16"^^ . . . . . . . . . . . . . . . . . . . . . . "13"^^ . "9"^^ . . .