0.25233387947083