1 function getCookie(name)
  2 {
  3   var offset,search,end;
  4   search = escape(name)+"=";
  5   if (document.cookie.length > 0)
  6   {
  7 	offset = document.cookie.indexOf(search) 
  8 	if (offset != (-1))
  9 	{                                            
 10 	  offset += search.length;
 11 	  end = document.cookie.indexOf(";", offset);
 12 	  if (end == (-1)) end = document.cookie.length;
 13 	  return(unescape(document.cookie.substring(offset, end)));
 14 	}
 15 	else return("");
 16   }
 17   else return("");
 18 }
 19 
 20 function setCookie(name, value, domain)
 21 {
 22 	var str = escape(name)+"="+escape(value)+"; path=/;";
 23 	if( domain ) {
 24 		str = str+"domain="+domain+";";
 25 	}
 26 	document.cookie = str;
 27 }
 28 
 29 function deleteCookie(name)
 30 {
 31   document.cookie = escape(name)+"=0; path=/; expires=Tuesday, 01-Jan-80 23:59:59 GMT";
 32 }
 33