 <!--
var agt=navigator.userAgent.toLowerCase();
var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1) && (agt.indexOf('webtv')==-1) && (agt.indexOf('hotjava')==-1));
var is_major = parseInt(navigator.appVersion);
var is_minor = parseFloat(navigator.appVersion);
var is_nav6up = (is_nav && (is_major >= 5));
var is_ie4up  = (is_ie && (is_major >= 4));
var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
var is_ie4up  = (is_ie && (is_major >= 4));
var lastclicked = "none";

var pointcursor = "";
if(is_nav6up){pointcursor = "pointer";}
if(is_ie4up){pointcursor = "hand";}

function check_menu_over(td){
	td.className = "menu_over";
	td.style.cursor = pointcursor;
}

function check_menu_out(td){
	if (td != lastclicked){
		td.className = "menu_out";
	}
}

function check_click(page){
	document.location.href = "/pagina/"+page;
}

// deze functie wordt bij het inladen van een pagina aangeroepen en zorgt dat de juiste menu knop ingedrukt staat
function check_button(tdname){
	if (tdname!='none'){
		document.getElementById(tdname).className = "menu_over";
		lastclicked = document.getElementById(tdname);
	}
}

function openWin(file){
	myWin = window.open(file,"Popup","toolbar=no,status=no,width=250,height=400");
	myWin.moveTo(0,0);
}

 function get_browser_height(){
  
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else {
    if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
      //IE 6+ in 'standards compliant mode'
      myWidth = document.documentElement.clientWidth;
      myHeight = document.documentElement.clientHeight;
    } else {
      if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
        //IE 4 compatible
        myWidth = document.body.clientWidth;
        myHeight = document.body.clientHeight;
      }
    }
  }
  
  myHeight = myHeight - 30;
  return(myHeight);
  
 }

//-->