var isDOM = (document.getElementById) ? true : false;
var isNS4 = (document.layers) ? true : false;

var ace_filename = '';
if (isDOM)
	//ace_filename = ace_path + 'acemenu_dom.js';
		ace_filename = 'http://de-gouden-molen.nl/scripts/acemenu_dom.js';
if (isNS4)
	//ace_filename = ace_path + 'acemenu_ns4.js';
	ace_filename = 'http://de-gouden-molen.nl/scripts/acemenu_ns4.js';

document.write('<script language="JavaScript1.2" src="'+ ace_filename +'" type="text/javascript"><\/script>');