add: /* Step 3: Look for timezone string from * http: */ 
context:   var reparseDate = function(d, str) {    // Rules:    //   - If they specify a timezone, it is converted to local    //     time. All getter fucntions then convert properly to    //     UTC. No mod needed.    //   - If they specify UTC timezone, then it is converted    //     to local time. All getter functions then convert back.    //     No mod needed.    //   - If they specify NO timezone, it is local time.     //     The UTC conversion then reveals the offset. Fix.        // Step 1: Remove everything inside ()'s (they are "comments")    var s = str.toLowerCase();    var re = new RegExp('\\(.*\\)', "gm");    s = s.replace(re, "");    dump(s);    // Step 2: Look for +/-. If found, do nothing    if(s.indexOf("+") == -1 && s.indexOf("-") == -1) {      // Step 3: Look for timezone string from      // http://lxr.mozilla.org/seamonkey/source/js/src/jsdate.c       if(s.indexOf(" gmt") == -1 && s.indexOf(" ut") == -1 &&         s.indexOf(" est") == -1 && s.indexOf(" edt") == -1 &&         s.indexOf(" cst") == -1 && s.indexOf(" cdt") == -1 &&         s.indexOf(" mst") == -1 && s.indexOf(" mdt") == -1 &&         s.indexOf(" pst") == -1 && s.indexOf(" pdt")) {        // No timezone specified. Adjust.        d.setTime(d.getTime()-(d.getTimezoneOffset()*60000));      }    }   } 
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6eb06242dc852a2fb22e7c2c565004d895833f1b/jshooks.js/buggy/src/chrome/content/jshooks.js