function choosePic() {
var headerPic = new Array("img1","img2","img3","img4");
var randNum = Math.floor(Math.random() * headerPic.length);

var headerElem = document.getElementById('banner'); 

headerElem.setAttribute("class", headerPic[randNum]); 
headerElem.setAttribute("className", headerPic[randNum]);

return; }