function kleurLinkVeranderen(id)
{
document.getElementById(id).style.color = '#E4DED3';
}

function kleurLinkHerstellen(id)
{
document.getElementById(id).style.color = '#584F48';
}

function thumbOver(id)
{
document.getElementById(id).style.display = 'block';
}

function thumbOut(id)
{
document.getElementById(id).style.display = 'none';
}

function menuGoTo(link)
{
	location.href = link;
}