//
// A script to display random bg images for the splash page
//

var TOTAL_BG = 4
var bg = new Array(TOTAL_BG)

// bg
bg[0] = "<td rowspan=3 background='/images/front_mainpic.jpg' width=547 height=364>";
bg[1] = "<td rowspan=3 background='/images/front_mainpic2.jpg' width=547 height=364>";
bg[2] = "<td rowspan=3 background='/images/front_mainpic3.jpg' width=547 height=364>";   
bg[3] = "<td rowspan=3 background='/images/front_mainpic4.jpg' width=547 height=364>";   

function getRandomBg()
{
    var ranNum = Math.floor(Math.random()* TOTAL_BG);
    return ranNum;
}

function getaBg()
{
   	var whichBg = getRandomBg();
    document.write(bg[whichBg]);
}
  
getaBg()