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

    img=new Array();
    
	img[0]='images/ranimg/highlight1.jpg';
    img[1]='images/ranimg/highlight2.jpg';
	img[2]='images/ranimg/highlight3.jpg';


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