function changeImg(num){
    var mainImage = document.getElementById("mainimg");

    num = num.substring(5);

    mainImage.src = "images/enlargement"+num+".jpg";
}