<!--
function changeImage1(filename)
{
	document.mainimage1.src = filename;
}

function changeImage2(filename)
{
	document.mainimage2.src = filename;
}

function changeImage3(filename)
{
	document.mainimage3.src = filename;
}

function changeImage4(filename)
{
	document.mainimage4.src = filename;
}
//-->