// JavaScript Document
//this function will generate randome images from a give set of images

    img=new Array();
    
	img[0]='images/highlight1.jpg';
    img[1]='images/highlight2.jpg';
	img[2]='images/highlight3.jpg';
	img[3]='images/highlight4.jpg';
	img[4]='images/highlight5.jpg';
	img[5]='images/highlight6.jpg';
	img[6]='images/highlight7.jpg';
	img[7]='images/highlight8.jpg';
	img[8]='images/highlight9.jpg';

    function ranImg()
    {
        if (document.getElementById("ranImg")) document.getElementById("ranImg").setAttribute("src", img[Math.round(Math.random()*8)])
    }