<!-- Afschermen voor oude browsers

function hover1(obj, state)
{
  document.getElementById(obj).className = (state == 'on') ? 'hover2 ' : 'hover1';
}

function hover2(obj, state)
{
  document.getElementById(obj).className = (state == 'on') ? 'hover3' : 'hover2';
}

function menuhover(obj, state)
{
  obj.style.backgroundColor = (state == 'on') ? '#dee3e7' : '#efefef';
}

// Einde afscherming -->