0.25072693824768