function chgpic(newpic)
	{
	document.getElementById('pic').src = 'galerie/'+newpic;
	}