enableHover = function(id) {
	if (document.all && document.getElementById) {
		node = document.getElementById(id);
		node.onmouseover=function() {
			this.className+=" hover";
		}
		node.onmouseout=function() {
			this.className=this.className.replace(" hover", "");
		}
	}
}
window.onload = function() {
	enableHover('nav_1');
	enableHover('nav_2');
	enableHover('nav_3');
	enableHover('nav_4');
	enableHover('search');
	enableHover('language');
}