gViewSourceUtils.openInInternalViewer(aURL, aPageDescriptor, aDocument); 
utils.openInInternalViewer(aURL, aPageDescriptor, aDocument); 
function ViewSourceOfURL(aURL, aPageDescriptor, aDocument){  if (getBoolPref("view_source.editor.external", false)) {    gViewSourceUtils.openInExternalEditor(aURL, aPageDescriptor, aDocument);  }  else {    gViewSourceUtils.openInInternalViewer(aURL, aPageDescriptor, aDocument);  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/69d688851f693d3c244770e757eede729dc340c4/browser.js/buggy/browser/base/content/browser.js