var headURL = document.location.href;
var first_split = headURL.split("/english/");
headURL = first_split[0];
//alert(headURL);
if(ns4) {
		document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/english/js/menu_ns4.js><\/scr"+"ipt>");
	} else {
		document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/english/js/menu_dom.js><\/scr"+"ipt>");
	}
	
document.write("<scr"+"ipt type=text/javascript src=" + headURL +"/english/js/menu_data.js><\/scr"+"ipt>");