0.25518488883972