"4.25"^^ . . .