20021031 business.india-business: IOC to double petro export to Lanka