function menu_over(mid){
  document.getElementById('leftMenu'+mid).style.backgroundColor = '#DFCF9F';
  document.getElementById('leftMenu'+mid+'link').style.color = '#0F4470';
}
function menu_out(mid){
  document.getElementById('leftMenu'+mid).style.backgroundColor  = '#ECE2C4';
  document.getElementById('leftMenu'+mid+'link').style.color = '#757575';
}