// JavaScript Document
function active_menu(afbeelding){
	document.getElementById('menu_balk').src= afbeelding;
}

function activate_thumb(afbeelding,id){
	document.getElementById('grote_afbeelding').src = afbeelding;
	document.getElementById(1).className='thumb_link';
	document.getElementById(2).className='thumb_link';
	document.getElementById(3).className='thumb_link';
	document.getElementById(4).className='thumb_link';
	document.getElementById(id).className='thumb_link_active';
}