1 console.log("Bob is here. #2");
3 function addScript(url) {
4 var elt = document.createElement("script");
5 elt.setAttribute("src", url );
6 elt.setAttribute('type', 'text/javascript');
7 document.body.appendChild(elt);
10 addScript('chrome://gssweb/content/nav.gss.js');