rem: if (doc.__gmId) { 
add: if (doc && doc.__gmId) { 
context:   this.unloadDoc = function(e) {    var doc = e.originalTarget;    if (doc.__gmId) {      delete docMenuCommands[doc.__gmId];    }  }
meta: 4585	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4585/3192ca0cc5135d8598484d345022c26043478146/greasemonkey.js/buggy/src/content/greasemonkey.js