[hinkley]

The estimate I heard is it would take 100,000 years for the atmosphere to be stripped off. That’s a long long time.