if (document.images) {
   IS = new Array (
      "v1h.gif", "v2h.gif", "v3h.gif", "vv1h.jpg", "vv2h.jpg", "vv3h.jpg",
      "m1h.gif", "m2h.gif", "m3h.gif", "m4h.gif", "m5h.gif", "m6h.gif", "m7h.gif", "m8h.gif"
   );
   IL = new Array ();
   for (i in IS) {
      IL[i] = new Image ();
      IL[i].src = "/i/" + IS[i];
   }
}
function ImgSwap(Name, File) {
  if (document.images)
     document.images[Name].src = "/i/"+File;
}
function StampOn(p) {
  with (document.all('mm').style) {
    padding = p + ' 0 0 0px';
    visibility = 'visible';
  }
}
function StampOff() {
  with (document.all('mm').style) {
    visibility = 'hidden';
  }
}