"0.0714915"^^ . "4"^^ . . . "4"^^ . . "3"^^ . . . . . .