var myPix3 = new Array("/partners/ucdmc/ucdhsbanner.gif");
var myHref3 = new Array("http://www.ucdmc.ucdavis.edu");
function choosePic3() {
        if (document.images) {
                randomNum3 =
        Math.floor((Math.random() * 10)) % 1
                document.myPicture3.src = myPix3[randomNum3];
                }
                }