// Dirty trick, to make sure main_menu etc already exist when include_scripts is being called.
eval(include_first());

function include_scripts(navname)
{
  // If a left menu must be written...
  if (typeof(navname) != "undefined" && navname != "")
  {
    var scripts = "";
    scripts += "    <!-- left menu data -->\n";
	scripts += "	<script type=\"text/javascript\" src=\"http://rsc.bengprojecten.nl/menudata/" + abbr_menu[navname] + ".js\"></script>\n";
    document.write(scripts);
  }
};

function include_first()
{
  // Show global stylesheet
  var scripts = "";
  scripts += "    <!-- 1k dhtml api -->\n";
  scripts += "	<script type=\"text/javascript\" src=\"http://rsc.bengprojecten.nl/js/dhtml1kapi.js\"></script>\n";
  scripts += "    <!-- main functions file -->\n";
  scripts += "	<script type=\"text/javascript\" src=\"http://rsc.bengprojecten.nl/js/benglib.js\"></script>\n";
  scripts += "    <!-- global variables -->\n";
  scripts += "	<script type=\"text/javascript\" src=\"http://rsc.bengprojecten.nl/menudata/bengglobals.js\"></script>\n";
  scripts += "    <!-- main menu data -->\n";
  scripts += "	<script type=\"text/javascript\" src=\"http://rsc.bengprojecten.nl/menudata/main.js\"></script>\n";

  document.write(scripts);
};