rem: } 
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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/915247d7e49dd3daa7596d3c8aa71c5119440241/navigator.js/buggy/xpfe/browser/resources/content/navigator.js