"0.302378"^^ . . . "11"^^ . . . . . . . . . . . . . . . . . . "7"^^ . . "12"^^ .