function setCookie(NameOfCookie, value, expiredays) 
{

// Three variables are used to set the new cookie. 
// The name of the cookie, the value to be stored,
// and finaly the number of days till the cookie expires.
// The first lines in the function converts 
// the number of days to a valid date.

  var ExpireDate = new Date ();
  ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));

// The next line stores the cookie, simply by assigning 
// the values to the "document.cookie"-object.
// Note the date is converted to Greenwich Meantime using
// the "toGMTstring()"-function.

  document.cookie = NameOfCookie + "=" + escape(value) + 
  ((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
}


function getCookie(NameOfCookie)
{

// First we check if there is a cookie stored at all.
// Otherwise the length of document.cookie would be zero.

  if (document.cookie.length > 0) 
{ 

// Second we check if the cookies name is stored in the
// "document.cookie"-object for the page.

// Since more than just one cookie can be set on a
// single page it is possible that our cookie
// is not present, even though the "document.cookie"-object
// is not just an empty text.
// If our cookiename is not present the value -1 is stored
// in the variable called "begin".

    begin = document.cookie.indexOf(NameOfCookie+"="); 
    if (begin != -1)   // Note: != means "is not equal to"
   { 

// Our cookie was set. 
// The value stored in the cookie is returned from the function.

     begin += NameOfCookie.length+1; 
      end = document.cookie.indexOf(";", begin);
      if (end == -1) end = document.cookie.length;
      return unescape(document.cookie.substring(begin, end));       } 
  }
return null;  

// Our cookie was not set. 
// The value "null" is returned from the function.

}



function delCookie (NameOfCookie) 
{

// The function simply checks if the cookie is set.
// If so the expiredate is set to Jan. 1st 1970.

  if (getCookie(NameOfCookie)) {
  document.cookie = NameOfCookie + "=" +
   "; expires=Thu, 01-Jan-70 00:00:01 GMT";
}
}


// date - any instance of the Date object
// * hand all instances of the Date object to this function for "repairs"
function fixDate(date) {
  var base = new Date(0);
  var skew = base.getTime();
  if (skew > 0)
    date.setTime(date.getTime() - skew);
}