function choosePic() {
    if (document.images) {
       randomNum = Math.floor((Math.random()*10)) + 1;
       theImage="images/";
       document.whatPic.src = theImage + randomNum + ".jpg"
    }
}