/*picture randomizer*/
function ChangePict()
{

if (document.photoPic == null) return;

else

 pictnum = 13;				 //this is the max # of pictures that will change
 randnum = Math.random();
 num = randnum * pictnum;
 round = Math.floor(num);
 
 if (round == pictnum) {round = round - 1;}
 
 document.photoPic.src = "right_images/right_image0" + round + ".jpg";
}