// De bezoeker krijgt een aantal ms de splashpagina te zien. Hierna wordt
// doorverwezen naar de indexpagina.

function replacePage()
{
	
	// definieer p met indexpagina
	var p = "index.php";
	
	// verander de pagina
	window.location.href = p;

}

function waitBeforeReplace(tms)
{
	
	// definieer t met tme in miliseconden
	var t = tms;
	
	// start timeout en dan redirecten
	setTimeout("replacePage()", t);
	
}