// JavaScript Document
function load_randomImage(){
 var splashIMGclass=new Array()
 splashIMGclass[1]="slide-0711-01.jpg"
 splashIMGclass[2]="slide-0711-02.jpg"
 splashIMGclass[3]="slide-0711-03.jpg"
 splashIMGclass[4]="slide-0711-04.jpg"
 splashIMGclass[5]="slide-0711-05.jpg"
 splashIMGclass[6]="slide-0711-06.jpg"
 splashIMGclass[7]="slide-0711-07.jpg"
 splashIMGclass[8]="slide-0711-08.jpg"
 splashIMGclass[9]="slide-0711-09.jpg"
 splashIMGclass[10]="slide-0711-10.jpg"
 splashIMGclass[11]="slide-0711-11.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" />')
}