0.25890588760376