/* Cookie.js */

function get_cookie(name)
{
var cname = name + "=" ;
var dc = document.cookie ;
if (dc.length > 0)
   {
   begin = dc.indexOf(cname) ;
   if (begin != -1)
      {
      begin += cname.length ;
      end = dc.indexOf(";", begin) ;
      if (end == -1)
         {
         end = dc.length ;
         }
      return unescape(dc.substring(begin, end)) ;
      }
   }
return null ;
}

function set_cookie(name, value, expires, path, domain, secure)
{
document.cookie = name + "=" + escape(value) +
((expires == null) ? "" : "; expires=" + expires.toGMTString()) +
((path == null) ? "" : "; path=" + path) +
((domain == null) ? "" : "; domain=" + domain) +
((secure == null) ? "" : "; secure") ;
}