function getCookie(key)
{ key = key.toLowerCase();
  var pairs = document.cookie.split(';'), pair, i;
  for(i=0; i<pairs.length; i++)
  { pair = pairs[i].split('=');
    if(unescape(pair[0].replace(/^\s+|\s+$/g, "").toLowerCase())==key) return unescape(pair[1]);
  }
  return null;
}

function setCookie(key, value, exp)
{ key = key.toLowerCase();
  if(exp==null)
  { exp = new Date();
    exp.setDate(exp.getDate()+30);
  }
  document.cookie = escape(key)+"="+escape(value)+"; path=/; expires="+
                    exp.toGMTString();
}

function expireCookie(key)
{ setCookie(key, "", new Date("1/1/1970"));
}