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