0.25677418708801