function include(script_filename) {
	    document.write('<' + 'script');
	    document.write(' language="javascript"');
	    document.write(' type="text/javascript"');
	    document.write(' src="' + script_filename + '">');
	    document.write('</' + 'script' + '>');
}

var locvartemp;
var locvartemp = String(window.location).split( "?" );
locvartemp = locvartemp[1];
if (locvartemp!=undefined){
if (String(locvartemp).indexOf("&")!=-1)
	{
	locvartemp = locvartemp.split( "&" );
	}else{
	locvartemp = locvartemp.split( "%26" );
	}
var lang = locvartemp[0];
var menu1 = locvartemp[1];
var menu2 = locvartemp[2];
var menu3 = locvartemp[3];
}