/* 
';
banners[1] = '
';
banners[2] = '
';
banners[3] = '
';
banners[4] = '
';
banners[5] = '
';
banners[6] = '
';
banners[7] = '
';
banners[8] = '
';
banners[9] = '
';
banners[10] = '
';
banners[11] = '
';
banners[12] = '
';
banners[13] = '
';
banners[14] = '
';
banners[15] = '
';
banners[16] = '
';
banners[17] = '
';
banners[18] = '
';
banners[19] = '
';
banners[20] = '
';
banners[21] = '
';
banners[22] = '
';
banners[23] = '
';
banners[24] = '
';
index = Math.floor(Math.random() * banners.length);
sfHover = function() {
var sfEls = document.getElementById("uva_menu").getElementsByTagName("li");
for (var i=0; i */