var isDOM = (document.getElementById) ? true : false; var isNS4 = (document.layers) ? true : false; var ace_filename = ''; if (isDOM) ace_filename = ace_path + 'acemenu_dom.js'; if (isNS4) ace_filename = ace_path + 'acemenu_ns4.js'; document.write('