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

if (isDOM)
{
	var ace_obj = document.getElementById("acemenu_script");
	if (ace_obj != null)
	{
		ace_path = ace_obj.src.substr(0, ace_obj.src.lastIndexOf('../../default.htm')+1);
	}
}

var ace_filename = '';
if (isDOM)
	ace_filename = ace_path + '../../acemenu_dom.js';

if (isNS4)
	ace_filename = ace_path + '../../acemenu_ns4.js';

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