function showPix(dir) {
  document.getElementById('pixFrame').src =
    "/cgi-bin/pix.pl?dir=" + dir;  
}

function showPic(dir, pic) {
  document.getElementById('picFrame').src =
    "/cgi-bin/pic.pl?dir=" + dir + "&pic=" + pic;
}