function random_imglink(){
 var myimages=new Array()

 myimages[1]="/grafix/front-slides/front-slide-01.jpg"
 myimages[2]="/grafix/front-slides/front-slide-02.jpg"
 myimages[3]="/grafix/front-slides/front-slide-03.jpg"
 myimages[4]="/grafix/front-slides/front-slide-04.jpg"
 myimages[5]="/grafix/front-slides/front-slide-05.jpg"
 myimages[6]="/grafix/front-slides/front-slide-06.jpg"
 myimages[7]="/grafix/front-slides/front-slide-07.jpg"
 myimages[8]="/grafix/front-slides/front-slide-08.jpg"
 myimages[9]="/grafix/front-slides/front-slide-09.jpg"
 myimages[10]="/grafix/front-slides/front-slide-10.jpg"
 myimages[11]="/grafix/front-slides/front-slide-11.jpg"
 myimages[12]="/grafix/front-slides/front-slide-12.jpg"
 myimages[13]="/grafix/front-slides/front-slide-13.jpg"

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

 if (ry==0)
    ry=1
    document.write('<img src="'+myimages[ry]+'" border=0>')
}

 random_imglink()