function changePos(getal, keer)
{
	document.getElementById('menu').style.backgroundPosition='0 '+ (getal * keer) +'px';	
}