title: How to convert GMT time to EST time using Python
body: <p>I want convert GMT time to EST time and get a timestamp. I tried the following but don't know how to set time zone.</p>
  <pre><code>time = &quot;Tue, 12 Jun 2012 14:03:10 GMT&quot;
  timestamp2 = time.mktime(time.strptime(time, '%a, %d %b %Y %H:%M:%S GMT'))
  </code></pre>