. . . . . . . "0.25791"^^ . . . . . . . . "12"^^ . . . . . "9"^^ . . . . . "11"^^ .