<!--
//Edit this line to list all of your background images
var pic = new Array();
var pic_text = new Array();

pic[0] = '<a href="http://experience.whitman.edu"><img src="images/banner.jpg" width="572" height="67" alt="Experience Whitman" /></a>';
pic[1] = '<a href="http://experience.whitman.edu"><img src="images/banner2.jpg" width="572" height="67" alt="Experience Whitman" /></a>';
pic[2] = '<a href="http://experience.whitman.edu"><img src="images/banner3.jpg" width="572" height="67" alt="Experience Whitman" /></a>';


function rotate_image()
{
//This line picks an image at random from the list you entered above
var randNumValue = (Math.round(Math.random()*(pic.length-1)));
var bgimage=pic[randNumValue]

//This line applies the background image to your rotating_image
document.getElementById("banner").innerHTML = bgimage;

}
-->
