function IncludeJavaScript(jsFile){
  document.write('<script type="text/javascript" src="' + jsFile + '"></scr' + 'ipt>'); 

}

IncludeJavaScript("http://www.gfmer.ch/JavaScriptCommun/menu_bugfix1.js");