"0.40001"^^ . . "2"^^ . . . "2"^^ . . . "2"^^ .