function changeImages() 
{
	if (document.images) 
	{
		document[changeImages.arguments[0]].src = changeImages.arguments[1];
		
		for (var i=0; i< changeImages.arguments[3]; i++) 
		{
			if (i== changeImages.arguments[4]) document.getElementById('link'+i).style.fontWeight= 'bold';
			else document.getElementById('link'+i).style.fontWeight= 'normal';
		}
		
		if (document.getElementById('titel'))
		{
			if (changeImages.arguments[2]== '') var titel= '&nbsp;';
			else var titel= changeImages.arguments[2];
			document.getElementById('titel').innerHTML = titel;
		}
	}
}