function change(picture) { 
	document.mainImage.src=picture;
}