var num = (Math.round(Math.random()*(4-1))+1);
var hrefLink = null;
var imageTag = null;
switch(num) {
  case 1:
    hrefLink = "http://debian.org";
    imageTag = 'src="http://executequery.org/images/banners/debian_vbanner_02.png" alt="Debian GNU/Linux" title="Debian GNU/Linux"';
    break;
  case 2:
    hrefLink = "http://debian.org";
    imageTag = 'src="http://executequery.org/images/banners/debian_vbanner_03.png" alt="Debian GNU/Linux" title="Debian GNU/Linux"';
    break;
  case 3:
      hrefLink = "http://www.spreadfirefox.com/node&id=0&t=329";
      imageTag = 'alt="Firefox 3" title="Firefox 3" src="images/banners/firefox-spread-btn-5.png"';
      break;  
  case 4:
      hrefLink = "http://www.gnome.org/friends/";
      imageTag = 'alt="Become a Friend of GNOME" title="Support GNOME" src="http://www.gnome.org/friends/banners/fog-120x240.png"';
      break;  
  default:
    hrefLink = "http://debian.org";
    imageTag = 'src="http://executequery.org/images/banners/debian_vbanner_02.png" alt="Debian GNU/Linux" title="Debian GNU/Linux"';
    break;
}
var imageText = '<a target="_blank" href="' + hrefLink +
            '"><img class="verticalBanner" border="0"' + imageTag + '></a>';
document.write(imageText);