// JavaScript functions for picture gallerys

function change(imgSrc)
{
	document.main_link.src = imgSrc;	
}