images = new Array;
images[0] = "static/img/indexvisual_1.jpg";
images[1] = "static/img/visual_1.jpg";
images[2] = "static/img/logo.jpg";

function randimgflag() {
  var l = images.length;
  var rnd_no = Math.round((l-1)*Math.random());
  document.randimg.src = "../static/img/indexvisual_" + rnd_no + ".jpg";
}

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