. . . "9"^^ . . "4"^^ . . "3"^^ . . . . . . . . . "0.415145"^^ .