hover = function() {
	var e = document.getElementById('navigation').getElementsByTagName('li');
	for (var i = 0; i < e.length; i++) {
		e[i].onmouseover = function() {
			this.className += ' hover';
		}
		e[i].onmouseout = function() {
			this.className = this.className.replace(new RegExp(' hover\\b'), '');
		}
	}
}
if (window.attachEvent) window.attachEvent('onload', hover);