// Afbeeldingen vervangen

function imageChange(imgName, imgSource) {
	if (document.images) {
		document.images[imgName].src = imgSource;
	}
}

// Toon infotekst

function toonInfo(txt) {
	infodiv = document.getElementById("info");
	infodiv.innerHTML = txt;
}

// Toon menu

function openMenu() {
	menu.style.visibility = 'visible';
}

function closeMenu(opacity) {
	menu.style.visibility = 'hidden';
}

// Toon testbeeld

function toonTest() {
	datum.style.visibility = 'hidden';
	kop.style.visibility = 'hidden';
	tekst.style.visibility = 'hidden';
	test.style.visibility = 'visible';
}

// Teletext datum en tijd weergeven

function toonDatumTijd() {
	var t = new Date();

	dag = t.getDay();
	maand = t.getMonth() + 1;
	jaar = t.getYear();
	uren = t.getHours();
	minuten = t.getMinutes();
	seconden = t.getSeconds();

	if (uren < 10) uren = "0" + uren;
	if (minuten < 10) minuten = "0" + minuten;
	if (seconden < 10) seconden = "0" + seconden;        

	document.getElementById("datum").innerHTML = dag + "-" + maand + "-" + jaar + "&nbsp;&nbsp;&nbsp;" + uren + ":" + minuten + ":" + seconden;
	setTimeout("toonDatumTijd()", 1000);
}