"0.125375"^^ . "3"^^ . . "4"^^ . . . . . . . . "3"^^ .