In 2007, the U.S. sold $73 million of cigarettes to Iran. Iran paid for these cigarettes using