. . . . "10"^^ . . "3"^^ . . . . "12"^^ . . . . . . . . . "0.512023"^^ .