"0.5237"^^ . . . . . .