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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ff18b315dc97c7e016fac570eaedf8ab9617245b/navigator.js/buggy/xpfe/browser/resources/content/navigator.js