pic1 = new Image(130, 124);
        pic1.src = "images/HeaderCircle1on.jpg";
        pic2 = new Image(130, 124);
        pic2.src = "images/HeaderCircle1off.jpg";
        pic3 = new Image(138, 124);
        pic3.src = "images/HeaderCircle2on.jpg";
        pic4 = new Image(138, 124);
        pic4.src = "images/HeaderCircle2off.jpg";
        pic5 = new Image(142, 124);
        pic5.src = "images/HeaderCircle3on.jpg";
        pic6 = new Image(142, 124);
        pic6.src = "images/HeaderCircle3Off.jpg";
        pic7 = new Image(148, 124);
        pic7.src = "images/HeaderCircle4on.jpg";
        pic8 = new Image(148, 124);
        pic8.src = "images/HeaderCircle4Off.jpg"; 
        function changeheadimg(sElementId, sImgName) {
            document.getElementById(sElementId).src = sImgName;
        }