<!--
function random_imglink(){
  var myimages=new Array()
  //random images 
  myimages[1]="images/feature_datatel_wp.gif"
  myimages[2]="images/feature_white_paper.gif"  
  myimages[3]="images/feature_trial.gif"
  myimages[4]="images/feature_overview.gif"

  //corresponding links
  var imagelinks=new Array()
  imagelinks[1]="white_papers.htm"  
  imagelinks[2]="white_papers.htm"  
  imagelinks[3]="product_trial.htm" 
  imagelinks[4]="decc_technology_overview.htm"

  var ry=Math.floor(Math.random()*myimages.length)

  if (ry==0)
     ry=1
     document.write('<a href='+'"'+imagelinks[ry]+'"'+'><img src="'+myimages[ry]+'" border=0></a>')
}

  random_imglink()
//-->
