0.80039405822754