. "0.4231"^^ . . . . .