<!--
// Cookie functions
//
//******************************************************************************
//
// Function: putCookie
//  Place cookie in my domain cookie.
//
//    name    required    string    cookie name
//    value   required    string    cookie value (auto escaped)
//    days    optional    integer   number of days before cookie expires
//
function putCookie(name,value,days) {
  if (days) {
    var myDate = new Date();
    myDate.setTime(myDate.getTime() + (days*24*60*60*1000));
    var myExpire = "; expires=" + myDate.toGMTString();
  } else var myExpire = "";
  document.cookie = name + "=" + escape (value) +
    myExpire +
    "; path=/";
}
//
// Function: getCookie
//  Return value of specified cookie found in my domain cookie.
//  Returns null if cookie not found.
//
//    name    required    string    cookie name
//
function getCookie(name) {
  var namePart = name + "=";
  var pair = document.cookie.split(';');
  for (var j=0; j<pair.length; j++) {
    var c = pair[j];
    while (c.charAt(0)==' ') {
      c = c.substring(1, c.length);
    }
    if (c.indexOf(namePart) == 0) {
      return c.substring(namePart.length, c.length);
    }
  }
  return null;
}
//
// Function: killCookie
//  Delete specified cookie found in my domain cookie by expiring
//  it 100 days ago.
//
//    name    required    string    cookie name
//
function killCookie(name) {
  putCookie(name,"",-100);
}
// -->