"0.5138"^^ . . . . . .