0.25262713432312