0.25000715255737