0.25257921218872