   MyImages=new Array();
    MyImages[0]='./images/Header1.jpg';
    MyImages[1]='./images/Header2.jpg';
    MyImages[2]='./images/Header3.jpg';
    MyImages[3]='./images/Header4.jpg';
    MyImages[4]='./images/Header5.jpg';
    MyImages[5]='./images/Header6.jpg';
    MyImages[6]='./images/Header7.jpg';
    MyImages[7]='./images/Header8.jpg';
    MyImages[8]='./images/Header9.jpg';
    MyImages[9]='./images/Header10.jpg';
    MyImages[10]='./images/Header11.jpg';


    

    function newImage()
    {
        document.getElementById("mainImage").setAttribute("src", MyImages[Math.round(Math.random()*10)])
    }