// JavaScript Document
//roll picture in main content
function picroll(){
var length = 9;
var ran_num = Math.round((length-1)*Math.random());
ran_num=ran_num+1;
var source = "Images/"+ran_num+".jpg";
document.images['pic'].src = source;
};s