function onOver(ths) {
  ths.className+= " menu_hover"; 
}
function onOut(ths) {
  ths.className = ths.className.replace(" menu_hover", "");
}