jsHover = function() {
	var hEls = document.getElementById("mainmenu").getElementsByTagName("LI");
	for (var i=0, len=hEls.length; i<len; i++) {
		hEls[i].onmouseover=function() { this.className+=" jshover"; }
		hEls[i].onmouseout=function() { this.className=this.className.replace(" jshover", ""); }
	}
}
if(window.attachEvent && navigator.userAgent.indexOf("Opera")==-1) window.attachEvent("onload", jsHover);


function change_host(o) {
	document.location.assign('http://'+o.options[o.selectedIndex].value);
}