function fixImgs(whichId, maxH) {
  var pix=document.getElementById(whichId);
  w=pix.width;
  h=pix.height;
  if (h > maxH) {
    f=1-((h - maxH) / h);
    pix.width=w * f;
    pix.height=h * f;
  }
}