function menu_over(id,color){
  document.getElementById('color_'+id).style.background = color;
}

function menu_out(id,color){
  document.getElementById('color_'+id).style.background = color;
}