function menu_over() {
	td = event.toElement;
	if (td.tagName == "A") 
		td = td.parentElement;
	if (td.className == "menuitem") {
		td.className = "menuitem menuitemsel";
	}
}
function menu_out() {
	td = event.fromElement;
	if (td.tagName == "A") 
		td = td.parentElement;
	if ((td.className == "menuitem menuitemsel")&&(!td.contains(event.toElement))) {
		td.className = "menuitem";
	}
}