"0.5415"^^ . . . . . .