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;
}

function changeImage5(filename)
{
   document.mainimage5.src = filename;
}

function changeImage6(filename)
{
   document.mainimage6.src = filename;
}

function changeImage7(filename)
{
   document.mainimage7.src = filename;
}

function changeImage8(filename)
{
   document.mainimage8.src = filename;
}

function changeImage9(filename)
{
   document.mainimage9.src = filename;
}

function changeImage10(filename)
{
   document.mainimage10.src = filename;
}
function changeImage11(filename)
{
   document.mainimage11.src = filename;
}