/** Dropdown menu voor IE (Firefox etc. gebruikt CSS) **/
function showMenu(obj)  {
  if(navigator.appName == 'Microsoft Internet Explorer')  {
    var children = obj.getElementsByTagName("ul");
    obj.style.color = '#ffde00';
    obj.style.cursor = 'default';
    for(x in children)  {
      if(children[x].className == 'menu_rollover')  {
        children[x].style.display = 'block';
      }
    }
  }
}

function hideMenu(obj)  {
  if(navigator.appName == 'Microsoft Internet Explorer')  {
    var children = obj.getElementsByTagName("ul");
    obj.style.color = '#FFFFFF';
    for(x in children)  {
      if(children[x].className == 'menu_rollover')  {
        children[x].style.display = 'none';
      }
    }
  }
}