add: } 
context: function stylesheetSwitch(forDocument, title) {  docStyleSheets = forDocument.styleSheets;  numSS = docStyleSheets.length;  for (i=0; i<numSS; i++) {    docStyleSheet = docStyleSheets[i];    if (docStyleSheet.title == "") {      if (docStyleSheet.disabled == true)        docStyleSheet.disabled = false;      continue;    }  }     docStyleSheet.disabled = (title != docStyleSheet.title);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/36a61b70d7e6b0a3ff696ac5162abafe3d45dcc4/navigator.js/buggy/xpfe/browser/resources/content/navigator.js