. . . . "0.23712"^^ . . . "4"^^ . . "4"^^ . . "3"^^ .