0.25518083572388