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

var brain_filename = '';
if (isDOM)
	brain_filename = brain_path + '../kst/layout/brainmenu_dom.js';

if (isNS4)
	brain_filename = brain_path + '../kst/layout/brainmenu_ns4.js';

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