function bigpic(img, width, height) {
      var border = 0;
      var legendHeight = 30;
      var bigPicWidth = width;
      var bigPicHeight = height;
      var windowWidth = bigPicWidth + 2*border;
      var windowHeight = bigPicHeight + 2*border + legendHeight;
      window.open('bigpic.php?img='+img,'','width='+windowWidth+',height='+windowHeight+',locationbar=no,menubar=no,resizable=no');
    }