// JavaScript Document
function load_randomImage(){
 var splashIMGclass=new Array()
 splashIMGclass[1]="slideshow-0711-01.jpg"
 splashIMGclass[2]="slideshow-0711-02.jpg"
 splashIMGclass[3]="slideshow-0711-03.jpg"
 splashIMGclass[4]="slideshow-0711-04.jpg"
 splashIMGclass[5]="slideshow-0711-05.jpg"
 splashIMGclass[6]="slideshow-0711-06.jpg"
 splashIMGclass[7]="slideshow-0711-07.jpg"
 splashIMGclass[8]="slideshow-0711-08.jpg"
 splashIMGclass[9]="slideshow-0711-09.jpg"
 splashIMGclass[10]="slideshow-0711-10.jpg"
 splashIMGclass[11]="slideshow-0711-11.jpg"
 splashIMGclass[12]="slideshow-0711-12.jpg"
 

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

 if (ry==0)
    ry=1
    document.write('<img src="images/'+splashIMGclass[ry]+'" width="1100" height="580" alt="background-01" />')
}