<!--

function random_img(){
  var imgs = new Array()
  imgs[1] = "leunenpost/images/extra_01.jpg"
  imgs[2] = "leunenpost/images/extra_02.jpg"
  imgs[3] = "leunenpost/images/extra_03.jpg"
  imgs[4] = "leunenpost/images/extra_04.jpg"
  imgs[5] = "leunenpost/images/extra_05.jpg"
  imgs[6] = "leunenpost/images/extra_06.jpg"
  imgs[7] = "leunenpost/images/extra_07.jpg"
  imgs[8] = "leunenpost/images/extra_08.jpg"
  imgs[9] = "leunenpost/images/extra_09.jpg"
  var alts = new Array()
  alts[1] = "Roberto Baggio, beste Italiaanse spits allertijden. Postzegelwaarde: 0,65 euro"
  alts[2] = "Elvis, de koning van de Rock 'n Roll. Postzegelwaarde: 0,75 euro."
  alts[3] = "Scarlett Johansson, actrice en bijzonder mooie vrouw. Postzegelwaarde: 0,80 euro"
  alts[4] = "Bladrick, knecht van Blackadder. Uit de goot opgetrokken bediende. Postzegelwaarde: 0,05 euro."
  alts[5] = "Optimus Prime, hoofd van de Autobots, beschermheer van al het goede. Postzegelwaarde: 0,60 euro."
  alts[6] = "Marylin Monroe, actrice in de jaren 50, 60. Postzegelwaarde: 0,70 euro"
  alts[7] = "Ome Willem, kinderheld. Lust jij ook een broodje poep? Postzegelwaarde: 0,55 euro"
  alts[8] = "Koffie, de hoeksteen van de samenleving. Kanis & Gunnik zeker. Postzegelwaarde: 0,50 euro."
  alts[9] = "Pino, bekend van Sesamstraat. Postzegelwaarde: 0,05 euro."

  var ry = Math.floor(Math.random()*imgs.length)
  if (ry==0)
    ry=1
  document.write('<IMG src="'+imgs[ry]+'" height=150 width=124 border=0 alt="'+alts[ry]+'">')
}

-->
