// banner stuff

var theImages = new Array();
// order to put in array: banner - right one - text image
// set 1
theImages[0] = '/rec_en/siteware/home-banner_new.jpg'
theImages[1] = '/rec_en/siteware/home-grad_new.jpg'
theImages[2] = '/rec_en/siteware/home-text.gif'
// set 2
theImages[3] = '/rec_en/siteware/orange-banner.jpg'
theImages[4] = '/rec_en/siteware/orange-corner.jpg'
theImages[5] = '/rec_en/siteware/orange-text.gif'
// set 3
theImages[6] = '/rec_en/siteware/violet-banner.jpg'
theImages[7] = '/rec_en/siteware/violet-corner.jpg'
theImages[8] = '/rec_en/siteware/violet-text.gif'
// set 4
theImages[9] = '/rec_en/siteware/magenta-banner.jpg'
theImages[10] = '/rec_en/siteware/magenta-corner.jpg'
theImages[11] = '/rec_en/siteware/magenta-text.gif'
// set 5
theImages[12] = '/rec_en/siteware/yellow-banner.jpg'
theImages[13] = '/rec_en/siteware/yellow-corner.jpg'
theImages[14] = '/rec_en/siteware/yellow-text.gif'


// do not edit anything below this line
var j = 0
var t = theImages.length;
var p = theImages.length / 3;
var preBuffer = new Array()
for (i = 0; i < t; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));
var array_index = whichImage * 3;

function setBanner( id ){
 document.getElementById( id ).style.backgroundImage = "url("+ theImages[ array_index ] + ")";
}

function setBannerText( id , txt ){
   document.getElementById( id ).innerHTML = '<img src="'+ theImages[ array_index + 2 ] +'" alt="'+ txt +'" />';
}

function setBannerCorner( id ){
    document.getElementById( id ).style.backgroundImage = "url("+ theImages[ array_index + 1 ] + ")";
}