function mouseIn(a) {
a.className="menuhover";
}
function mouseOut(a) {
a.className="menu";
}