function print_friendly(){ //v3.0
	var printURL = 'http://cgi.stanford.edu/dept/SUL/library/cgi-bin/sulair/print_friendly.cgi?url=' + document.location.href;
	window.open(printURL);
	//window.location.new(printURL);
}

function eviscerator(){ //v3.0
	//var eviscURL = 'http://cgi.stanford.edu/~ccorpuz/cgi-bin/eviscerator.cgi?url=' + document.location.href;
	var eviscURL = 'http://cgi.stanford.edu/dept/SUL/library/cgi-bin/sulair/eviscerator.cgi?url=' + document.location.href;
	window.location.replace(eviscURL);
}

/*************************************************************************
  This code is from Dynamic Web Coding at http://www.dyn-web.com/
  See Terms of Use at http://www.dyn-web.com/bus/terms.html
  regarding conditions under which you may use this code.
  This notice must be retained in the code as is!
*************************************************************************/

function getDocHeight(doc) {
  var docHt = 0, sh, oh;
  if (doc.height) docHt = doc.height;
  else if (doc.body) {
    if (doc.body.scrollHeight) docHt = sh = doc.body.scrollHeight;
    if (doc.body.offsetHeight) docHt = oh = doc.body.offsetHeight;
    if (sh && oh) docHt = Math.max(sh, oh);
  }
  return docHt;
}

function setIframeHeight(iframeName) {
  var iframeWin = window.frames[iframeName];
  var iframeEl = document.getElementById? document.getElementById(iframeName): document.all? document.all[iframeName]: null;
  if ( iframeEl && iframeWin ) {
    iframeEl.style.height = "auto"; // helps resize (for some) if new doc shorter than previous
    var docHt = getDocHeight(iframeWin.document);
    // need to add to height to be sure it will all show
    if (docHt) iframeEl.style.height = docHt + 15 + "px";
  }
}

function loadIframe(iframeName, url) {
  if ( window.frames[iframeName] ) {
    window.frames[iframeName].location = url;
    return false;
  }
  else return true;
}