var headURL = document.location.href;
var first_split = headURL.split("/english/");
headURL = first_split[0];

if(ns4) {
		document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/js/menu_ns4.js><\/scr"+"ipt>");
	} else {
		document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/js/menu_dom.js><\/scr"+"ipt>");
	}
	
document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/js/menu_data.js><\/scr"+"ipt>");