function Random_Image(filename) {
  var now=new Date;
  var x=Math.floor(now.getTime()%5)+1; // images 1-5
  document.write("<IMG SRC=/images/" + filename + x + ".gif>");
 } 
 
/* 
function Random_Top() {
  var now=new Date;
  var x=Math.floor(now.getTime()%18)+1; // images 1-18
  document.write("<IMG SRC=/images/toppic_"+x+".gif>");
 }  
function Random_Arrow() {
  var now=new Date;
  var x=Math.floor(now.getTime()%6)+1; // images 1-6
  document.write("<IMG SRC=/images/arrow"+x+".gif>");
}

*/