function getBrowserForDocument(doc) { 
function getBrowserForDocument(doc) { 
function getBrowserForDocument(doc) {    var browsers = getBrowser().browsers;  for (var i = 0; i < browsers.length; i++) {    if (browsers[i].contentDocument == doc)      return browsers[i];  }  return null;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/e144bb8fb7f5ff5802d29b37368baa096183f26f/navigator.js/clean/suite/browser/navigator.js