function hover_gemaelde(over) {
  var m=document.getElementById('left_menu_gemaelde'); 
  if (over == 1) { m.className='gg_hover'; }
  else { m.className='gg_menu'; }
}

function hover_glas(over) {
  var m=document.getElementById('left_menu_glas'); 
  if (over == 1) { m.className='gg_hover'; }
  else { m.className='gg_menu'; }
}