//scriptje om plaatjes te wisselen

function img_wissel(img,img_src)
{
	document.getElementById(img).src=img_src;
}