0.2529878616333