. . "4"^^ . . "0.11725"^^ . . . . . . . . . "12"^^ . . . . . . . . "13"^^ .