function IERollOverFix() {
	if(document.all && document.getElementById) {
		// attach mouse-over actions to the pop-out menus for IE
		var nodes = document.getElementById('menu').getElementsByTagName('li');
		for(i = 0; i < nodes.length; ++i) {
			var node = nodes[i];
			node.onmouseover = function() {
				this.className += ' over';
			}
			node.onmouseout = function() {
				this.className = this.className.replace(' over', '');
			}
		}
	}
}