function redirect_url(url) {
	// Get some time information
	var tijd_datum = new Date();
	var dag = tijd_datum.getDate(); 
	var maand = tijd_datum.getMonth()+1;
	var jaar = tijd_datum.getFullYear();

	var uur = tijd_datum.getHours();
	var minuten = tijd_datum.getMinutes();
	var seconden = tijd_datum.getSeconds();

	// Write to debug popup 
	var popupwindow = window.open('', 'tcdebug', '');
		
	popupwindow.document.write(jaar + '-' + maand + '-' + dag + ' ' + uur + ':' +  minuten + ':' + seconden + ' || ' + url + '<br />');
	popupwindow.scrollTo(99999999999,99999999999);
		
	// Redirect
	window.location = url;
}