0.25728797912598