if (!title || stylesheetInFrame(frameset, title)) { stylesheetSwitchFrame(frameset, title); 
if (!title || frameset.document.styleSheetSets.contains(title)) { frameset.document.selectedStyleSheetSet = title; 
function stylesheetSwitchAll(frameset, title) {  if (!title || stylesheetInFrame(frameset, title)) {    stylesheetSwitchFrame(frameset, title);  }  for (var i = 0; i < frameset.frames.length; i++) {    stylesheetSwitchAll(frameset.frames[i], title);  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/b8e14bab11bd2cd5ef7eaaaf28ce2689079e3d20/navigator.js/buggy/suite/browser/navigator.js