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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/58967daa34e314eb6329f593294df7eeb77a194d/navigator.js/buggy/suite/browser/navigator.js