/* Code below is necessary for dropdown to work in IE */

function startList() {
    /* currentStyle restricts the Javascript to IE only */
	if (document.all && document.getElementById('nav').currentStyle) {  
       var navroot = document.getElementById('nav');
        
		/* Get all the list items within the menu */
		var lis=navroot.getElementsByTagName("LI");  
        for (i=0; i<lis.length; i++) {
        
           /* If the LI has another menu level */
            if(lis[i].lastChild.tagName=="UL"){
					
				
                /* assign the function to the LI */
             	lis[i].onmouseover=function() {	
                
                   /* display the inner menu */
                   this.lastChild.style.display="block";
                }				
                lis[i].onmouseout=function() {                       
                   this.lastChild.style.display="none";
                }
            }
        }
	}
}


function rotateBanner() {
	if (document.getElementById("banner")) {
		var banner = document.getElementById("banner");
		var randomNumber = Math.ceil(Math.random() * 3); // multiply by the number of photos
		banner.style.backgroundImage = "url(/core/banner" + randomNumber + ".jpg)";
	}
}

window.onload = function() {
	rotateBanner();
	startList();
}

/* End IE Dropdown code */