0.25850582122803