function FlipPic(name,src) {
    if (document.images)
        document.images[name].src = src;
   }