var thePage = null;

function updateButton(theButt)
{
	// alle knopjes terug naar af...
	for(i=0; i < document.images.length ; i++) {
		document.images[i].src = "/plaatjes/gifjes/" + document.images[i].name + "B.gif";
	}
	
	// en het juiste knopje actief maken
	document.images[theButt].src = "/plaatjes/gifjes/" + theButt + "A.gif";
}