function randomBanner (intImages){
  if (intImages > 1) document.getElementById("banner").src = "templates/default/images/home/banners/HP" + (Math.round(Math.random() * (intImages-1)) + 1) + ".jpg";
}