0.25859212875366