/*This function changes the large image on the website when the
smaller images are clicked.*/
function changeImage(filename)
{
	document.mainimage.src = filename;
}