// JavaScript Document
function RandomImage() {

  var img=new Array()
	
     img[1]='iomhanna/leabhair.jpg'
     img[2]='iomhanna/turas.jpg alt="Group at gate of Dún Guaire castle" title="Boireann group at gate of Dún Guaire castle"'


	 
   var randImg=Math.floor(Math.random()*img.length)
  
   if (randImg==0)
       randImg=1
       ('<style> div#banner1 { background-image: url('+img[randImg]+'); } </style>'+' border=0'+' width=792'+'>')
}