// JavaScript Document

function menuOver(id, cl) {
	document.getElementById(id).getElementsByTagName("li")[0].className = cl;
}

function menuOut(id, cl) {
	document.getElementById(id).getElementsByTagName("li")[0].className = cl + " hovered";
}