0.25377082824707