function Pictchange(photonum)
	{
	document.images["mainimage"].src = photonum;
	}