//display random image on page refresh

var images = new Array(); 
images[0]="/images/lca_building.jpg"; 
images[1]="/images/lca_building2.jpg"; 
images[2]="/images/lca_building_close.jpg";
images[3]="/images/doug_lecturing.jpg";
images[4]="/images/steve_lecturing.jpg";
images[5]="/images/study_notes.jpg";

function randomimage() { 
var i=Math.floor(Math.random()*images.length); 
document.getElementById("random").src=images[i]; 

}
onload+=randomimage;