Smokers are known to eliminate theophylline approximately 50% faster than nonsmokers. If the average half life for theophyllin in nonsmokers is 6 hours, what will be the approximate theophylline half life in smokers?