context: function Translate(){  var service = "http://cgi.netscape.com/cgi-bin/translate.cgi?AlisUI=simple_frames/ns_home";  // if we're already viewing a translated page, then just get the  // last argument (which we expect to always be "AlisTargetURI")  var targetURI = getWebNavigation().currentURI.spec;  var targetURIIndex = targetURI.indexOf("AlisTargetURI=");  if (targetURIIndex >= 0)    targetURI = targetURI.substring(targetURIIndex + 14);  service += "&AlisTargetURI=" + escape(targetURI);  loadURI(service);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/ccffe3d0d22a870962c3e124bb2495f56095216c/navigator.js/buggy/suite/browser/navigator.js