function randomInt(low, high) 
 { 
     if (low <= high) {
         return Math.floor( Math.random()*(high - low + 1) ) + low; 
     }
     else {
         return NaN;
     }
 }


function randomOnefrom(list) 
 {
     return list[randomInt(0, list.length-1)]; 
 } 


function bkgd() {
 var pic = randomOnefrom(["graphics/atBoardlg.jpg", "graphics/botArm.jpg", "graphics/kimura.jpg"]);
 var thispage = document.getElementById('homepage'); 
 thispage.style.backgroundImage='url(' + pic + ')';
 thispage.style.backgroundRepeat='no-repeat'       
}