0.25380992889404