0.25725984573364