"0.237713"^^ . . . . . . . . "2"^^ . . . "13"^^ . . . . . . "12"^^ . . .