function TickerInit () {
// dummy functie
}
function TickerExit () {
// dummy functie
}
function FormulierInit () {
// dummy functie
}
function PrintInit () {
// dummy functie
}

function bodyOnLoad () {
	TickerInit ();
	FormulierInit ();
	PrintInit ();
}

function bodyOnUnload () {
	TickerExit ();
}

var curHomeBanner = 0;
var aantalHomeBanners;

function rotateHomeBanners (aantal, milliseconden) {
	aantalHomeBanners = aantal;
	setInterval ("rotateHomeBanner ()", milliseconden);
}
function rotateHomeBanner () {
	setDisplay ("DIV_home_banner_" + curHomeBanner, 0);
	curHomeBanner = (curHomeBanner + 1) % aantalHomeBanners;
	setDisplay ("DIV_home_banner_" + curHomeBanner, 1);
}