0.80171084403992