0.2525749206543