function load_banner() {
  var num=Math.floor(Math.random()*22);
  num = num + 1;
  document.banner.src='images/banner_'+num+'.jpg';
}