0.25237894058228