function changeImage(filename)
{
	document.mainimage.src = filename;
}

function changeImage1(filename1)
{
	document.mainimage1.src = filename1;
}

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

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