/* These cookie functions were adapted from public domain code that
   Steven Estrella of Temple University states was created in the 
   mid-1990's by Bill Dortch of hIdaho designs.
  
   IMPORTANT NOTE: These modified routines set relatively permanent
   cookies that expire at a fixed date of Dec 31, 2999 */

function getCookieVal(offset)
{
var endstr = document.cookie.indexOf (";", offset)
if (endstr == -1) endstr = document.cookie.length
return unescape(document.cookie.substring(offset, endstr))
}

function AddCookie(name, value)
{
expires=new Date()
expires.setTime(Date.parse("Dec 31, 2999 18:59:59"))
document.cookie = name + "=" + escape (value) + "; expires=" + expires.toGMTString()
}

function GetCookie(name)
{
var arg = name + "="
var alen = arg.length
var clen = document.cookie.length
var i = 0
while (i < clen)
  {
  var j = i + alen
  if (document.cookie.substring(i,j ) == arg) return getCookieVal (j)
  i = document.cookie.indexOf(" ", i) + 1
  if (i == 0) break
  }
return null
}

function DeleteCookie(name)
{
var exp = new Date()
exp.setTime (exp.getTime() - 1)
var cval = GetCookie (name)
document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString()
}