0.25707983970642