function getRandomNumber(theNumber){
var ranNum= Math.floor(Math.random()*theNumber);
  return ranNum;
}
function getBanner(){
var ban_num = getRandomNumber(4) + 1;
var theBanImg = document.getElementById('header_banner');
   theBanImg.src="images/hr_pan0" + ban_num + ".png";
}