add: } 
context:   function browserLoadClipboardURL(target)  {    if (!((target.tagName.toUpperCase() == "INPUT"           && (target.type == "" || target.type.toUpperCase() == "TEXT"))          || target.tagName.toUpperCase() == "TEXTAREA"))    {      var url = readFromClipboard();      dump ("URL on clipboard: '" + url + "'; length = " + url.length + "\n");      if (url.length > 0)      {        var urlBar = document.getElementById("urlbar");        urlBar.value = url;        BrowserLoadURL();      }    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d46106418588bec5ed4354933e11d332b81439bb/navigator.js/buggy/suite/browser/navigator.js