function random_imglink(){

  var ry=Math.floor(Math.random()*images.length)

  if (ry==0)
     ry=1
     document.write('<img src="'+images[ry]+'" border=0>')
}

// JavaScript Document