function wisselMenu(nr)
{
	xmlHttp = GetXmlHttpObject();
	xmlHttp.onreadystatechange = stateChanged;
	xmlHttp.open('GET', "http://www.vobs.be/menuWissel.php?wisselmenu="+nr,true);
	xmlHttp.send(null);
}

function toonPagina(string)
{
	xmlHttp = GetXmlHttpObject();
	xmlHttp.onreadystatechange = stateChanged;
	xmlHttp.open('GET', string,true);
	xmlHttp.send(null);
}