0.25274109840393