function init_menu() {
	if (!document.all || !document.getElementById) return;
	var navRoot = document.getElementById('quicklinks');
	var subRoot = navRoot.getElementsByTagName("ul")[0];
	var node = subRoot.getElementsByTagName("li")[0].getElementsByTagName("ul")[0];
	subRoot.onmouseover = function() {
		node.className += ' hover';
	}
	subRoot.onmouseout  = function() {
		node.className = subRoot.className.replace(' hover', '');
	}
}