<!--



var paraNum = 0;


function paraNumber() {

  paraNum += 1;
  document.write("<tt>" + paraNum + " &nbsp;</tt>");

}



// give expdate a date to persist or assign "discard" to value to kill it after browser session
var expdate = new Date();
// set days to number of days to keep cookie
var days = 365;
expdate.setTime (expdate.getTime() + (1000 * 60 * 60 * 24 * days));
// expdate = "discard";


function setCookie (name, value, expires) {
  if (!expires) expires = new Date();
  if (expires == "discard") {
    document.cookie = name + "=" + escape (value) + "; discard; path=/";
  }
  else {
    document.cookie = name + "=" + escape (value) + "; expires=" + expires.toGMTString() +  "; path=/";
  }
}                                                       


function getCookie (name) {

  var dcookie = document.cookie; 
  if (dcookie == null) return null;
  var cname = name + "=";
  var clen = dcookie.length;
  var cbegin = 0;
  while (cbegin < clen) {
    var vbegin = cbegin + cname.length;
    if (dcookie.substring(cbegin, vbegin) == cname) { 
      var vend = dcookie.indexOf (";", vbegin);
      if (vend == -1) vend = clen;
      return unescape(dcookie.substring(vbegin, vend));
    }
    cbegin = dcookie.indexOf(" ", cbegin) + 1;
    if (cbegin == 0) break;
  }
}


function bookmark() {

  var bookmark;
  var pageLocation;
  // if we went to an anchor on the page, remove the hash and identifier so
  // that we only have the page href
  var hash = parent.Page.location.href.indexOf('#');
  if (hash >= 0) {
    pageLocation = parent.Page.location.href.substring(0, hash);
  }
  else {
    pageLocation = parent.Page.location.href;
  }

  bookmark = getCookie("summumBookmark");
  if (bookmark == pageLocation) {
    if ( confirm("This page is already bookmarked. Do you want to remove the bookmark?") ) {
      setCookie("summumBookmark", "", "discard");
      parent.Page.location.reload();
    }
  }
  else {
    bookmark = pageLocation;
    setCookie ("summumBookmark", bookmark, expdate);
    parent.Page.location.reload();
  }

}



function winMsg(msg) {
 window.status = msg;
}







// -->
