function randimghome() {
  var rnd_no = Math.round((4)*Math.random()) + 1;
  document.randimg.src = "images/visual_" + rnd_no + ".jpg";
}