"0.247352"^^ . . . "12"^^ . . . . . "12"^^ . . . . . . . . . . . . . "5"^^ .