// JavaScript Document

window.addEvent('domready', function(){

	// alle links met rel='external' een target='_blank' geven
	$$('a[rel=external]').setProperty('target', '_blank');
	
});

var provfilter = function(regio, basis){
	
	if(regio == 0){
		
		document.location = '/'+basis;
		
	}else{
		
		document.location = '/'+basis+'&region='+regio;
		
	}
	
}