. "0.511143"^^ . . . . .