0.25880694389343