// JavaScript Loader

$js_path = "/common/js/";

function js_include($script) {
  var script = document.createElement('script');
  script.src = $js_path + $script;
  script.type = 'text/javascript';
  var head = document.getElementsByTagName('head').item(0);
  head.appendChild(script); }

js_include("mouseover.js");
js_include("menu.js");