"0.443857"^^ . . "11"^^ . "5"^^ . . . . . . . . . . . . . . . . . "10"^^ .