0.25402593612671