<!-- 
if (document.getElementById) { window.onload = swap };
function swap() {
var numimages=5;
rndimg = new Array("/images/banners/alumni_1.jpg","/images/banners/alumni_2.jpg","/images/banners/alumni_3.jpg","/images/banners/alumni_4.jpg","/images/banners/alumni_5.jpg"); 
x=(Math.floor(Math.random()*numimages));
randomimage=(rndimg[x]);
document.getElementById("int_header").style.backgroundImage = "url("+ randomimage +")"; 
}

//-->