//Just some simple picture manipulation functions
  function showPicture(id, path, sWidth, sHeight, CaptionID, sText)
    {
      //Get the picture object
        var objPicture = document.getElementById(id);
        objPicture.src = path;
        objPicture.height = sHeight;
        objPicture.width = sWidth;
        
      //set the caption
        var objCaption = document.getElementById(CaptionID);
        objCaption.innerHTML = sText;
    } 
  
  function showBigPicture(thisPicture)
    {
      //var objPicture = document.getElementById("largePic");
      var thisSize = 'width=' + (thisPicture.width * 3) + ",height=" + (thisPicture.height * 3);
      window.open(
        thisPicture.src,
        'ShowPic',
        thisSize + ',location=no,menubar=no,resizable=no,toolbar=no,status=no'
        )
    }
    
  function showBiggestPicture(URL, aHeight, aWidth)
  {
    //open a window and show picture
      window.open(
        URL,
        null,
        "height=" + aHeight + ",width=" + aWidth)
  }