function selectPic() {

// create an array of all possible images
var picArray = new Array('images/LSEFBanner1.jpg',
    'images/LSEFBanner2.jpg',
    'images/LSEFBanner3.jpg', 
    'images/LSEFBanner4.jpg',
    'images/LSEFBanner5.jpg',
    'images/LSEFBanner6.jpg',
    'images/LSEFBanner7.jpg',
    'images/LSEFBanner12.jpg',
    'images/LSEFBanner9.jpg',
    'images/LSEFBanner10.jpg',
    'images/LSEFBanner11.jpg'
    );
    
  
// select a random num between 0 and length of the array
var randomNum = Math.floor(Math.random() * picArray.length);

// assign a random array entry to the src of the image
document.getElementById("pic").src = picArray[randomNum];

t=setTimeout("selectPic()",3000);

}

function timedRotate()
{
    var t=setTimeout("selectPic()",3000);
}