0.25752711296082