//Changes the image object to the desired image.
  function new_pic(newImageName) {
    var theImageObject = document.getElementById("image_area");
    theImageObject.src = imgPath+newImageName;
    //togglePicDiv("visible");
  }

  //Changes the image object to the desired image.
  function togglePicDiv(status) {
    var theDivObject = document.getElementById("ImageViewDiv");
    theDivObject.style.visibility = status;
  }
  
  //Changes the source of the IFrame object to the desired page.
  function new_page(newPageURL) {
    var theIFrameObject = document.getElementById("ContentFrame");
    theIFrameObject.src = newPageURL;
	//setPrintButton (newPageURL);
  }
  
  function setPrintButton (newPageURL){
	var thePrintButton = document.getElementById("PrintButton");
    thePrintButton.href = newPageURL;
  }