0.25467085838318