//MAIN PIC REFRESH
//randomly selects an image from two sequentially
//numbered .jpg's every time the page reloads
function splashpic2 (){
var length = 2;
var ran_num = Math.round((length-1)*Math.random());
ran_num=ran_num+1;
var source = "images/refreshed_content_2/"+ran_num+".jpg";
document.images['mainpic'].src = source;
}