// Sets cookie values. Expiration date is optional
// setCookie(name,value) sets cookie name to value. Will expire after session ends.
// setCookie(name,value,days) expires after so many days.
// getCookie(name) gets cookie. null if no such cookie.
function setCookie1(name, value, expire)
{
   document.cookie = name + "=" + escape(value)  + ((expire == null) ? "" : ("; expires=" + expire.toGMTString())) ;
}
function getCookie(Name)
{
   var search = Name + "="
   if (document.cookie.length > 0) { // if there are any cookies
      offset = document.cookie.indexOf(search) 
      if (offset != -1) { // if cookie exists 
         offset += search.length          // set index of beginning of value
         end = document.cookie.indexOf(";", offset)         
 // set index of end of cookie value      
   if (end == -1)   end = document.cookie.length         
return unescape(document.cookie.substring(offset, end)) ;      }    }
}
function setCookie(name,value,days)
{
    if (days == null)
    {
	setCookie1(name,value) ;
    }
    else
    {
	today = new Date();
	expiredate = new Date();
	expiredate.setTime(today.getTime()+days*60*60*24*1000);
	setCookie1(name,value,expiredate);
    }
}