//javascript


//NAVIGATIE
//kleurverandering navigatie items wanneer onmouseover event, triggert deze functie en geeft id mee aan x
function muis(x)
{
	document.getElementById(x).style.color="#CC0000";
}

function muisweg(x)
{
	document.getElementById(x).style.color="#000000";
}