// JavaScript Document
// this script randomly rotates the BLUE images in top banner
function selectBluePics() {
	var picArray = new Array('../images_top/figb1.gif','../images_top/figb2.gif','../images_top/figb3.gif'); // create an array of all possible images
	var randomNum = Math.floor(Math.random() * picArray.length); // select a random num between 0 and length of the array
	document.getElementById("picblue").src = picArray[randomNum]; // assign a random array entry to the src of the image
}