function omleiding ( url )
{
	var DOEL_ID = "OMLEIDING";
	var element = document.getElementById(DOEL_ID);

	if( ! element )
	{
		throw new Error('Omleiding.js: element id niet gevonden');
	}

	var tikken = parseInt( element.innerHTML );
	var timer  = setInterval( function()
	{
		if( tikken )
		{
			element.innerHTML = --tikken;
		} else {
			clearInterval( timer );
//			document.body.innerHTML = 'Omleiden...';
			location = url;	  
		}
	}, 1000);
}