. "0.7257"^^ . . . . .