20070705 business.india-business: It's official: Sharma is ONGC chief