20020809 business.india-business: 3718 petrol pumps; gas agencies to be cancelled