0.25237607955933