"11.9914"^^ . . "3.0"^^ . . . . .