// JavaScript Document
    
      function changeImg(x) {
      x = parseInt(x) - 1;
      var obrazky = new Array();
      obrazky[0] = "img/residence-krc-1.jpg";
      obrazky[1] = "img/residence-krc-2.jpg";
      obrazky[2] = "img/residence-krc-3.jpg";
      obrazky[3] = "img/residence-krc-4.jpg";
      document.getElementById("home_img").src = obrazky[x];
      }