function highlight(el) {
	el.className = "menuitemhighlight";
	return true;
}

function unhighlight(el) {
	el.className = "menuitem";
	return true;
}