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