function showDiv(actie,id) {
	obj = document.getElementById(id);
	
	if (obj.innerHTML !== '') {
		if (actie == 'show')
			obj.style.display = 'block'
		else
			obj.style.display = 'none';
	}
}

function toon_mini(afbeelding) {
	afbeelding.src='/images/not_available_mini.gif'
	afbeelding.onerror = '';
}

function zetHoogte() {
	//Instellen van de hoogte van de div maintable
	var isNav4, isNav6, isIE
	var isBrand = navigator.appName
	var agt = navigator.userAgent.toLowerCase()
	var navVer = parseInt(navigator.appVersion)
	var isNav4 = (isBrand == "Netscape" && navVer < 5) ? true : false
	var isNav6 = (isBrand == "Netscape" && navVer >= 5) ? true : false
	var isNav46 = ((isBrand == "Netscape") && (parseFloat(navigator.appVersion) >= parseFloat(4.6)) && (parseFloat(navigator.appVersion) < parseFloat(4.7))) ? true : false
	var isNav47 = ((isBrand == "Netscape") && (parseFloat(navigator.appVersion) >= parseFloat(4.7))) ? true : false
	var isIE = ((agt.indexOf("msie") != -1) && (parseInt(navVer) >= 4)) ? true : false
	var mac = (agt.indexOf("mac")!= -1);

	//haal hoogte window binnen
	function getInsideWindowHeight() {
		if (isNav4 || isNav6)
			return window.innerHeight
		else 
	 		return document.body.clientHeight
	}
	
	var hoogte = getInsideWindowHeight() - 74;
	var maintable = document.getElementById('maintable');
	var maintableHoogte = maintable.offsetHeight;

	if (maintable) {
		if (maintableHoogte < hoogte) {
			maintable.style.height = hoogte;
		}
	}
}