function changeimage(img, imgtxt)
{
    //get href of passed link - which should point to an image
    var source = img.getAttribute("href");
    //get image to replace
    var placeholder = document.getElementById('mainimage');
    //set image source
    placeholder.setAttribute("src",source);
}