"0.250019"^^ . "3"^^ . "4"^^ . . . . . . . . . "3"^^ .