
function WriteCookie( aCookieName, aCookieValue )
{
  // Make sure cookie doesn't expire!
  cookieValue = aCookieName + "=" + aCookieValue + "; expires=Tuesday, 05-Jan-3000 05:00:00 GMT";

  document.cookie = cookieValue;
}

function ReadCookie( aCookieName )
{
  var index       = -1;
  var cookieValue = "";

  if ( document.cookie ) 
  {
    index = document.cookie.indexOf( aCookieName );
  }
  
  if ( index < 0 )
  {
    return "";
  }

  namestart = ( document.cookie.indexOf( "=", index ) + 1 );
  nameend   =   document.cookie.indexOf( ";", index );
  
  if (nameend == -1) 
  { 
    nameend = document.cookie.length; 
  }
  
  cookieValue = document.cookie.substring(namestart, nameend);  

  return cookieValue;
}
