0.80018305778503