if( checkCookie("weblogin3") )
  var textLogout = '<li>| <a href="/htbin/logout">Logout</a></li>';

function checkCookie (CookieName) 
{
  var lf = "\n";
  
  var CookieString = document.cookie;
  var CookieSet = CookieString.split (';');
  var SetSize = CookieSet.length; 
  var CookiePieces;
  var x = 0;

  for (x = 0; x < SetSize; x++)
  {
    CookiePieces = CookieSet[x].split ('=');
    if (CookiePieces[0].substring (0,1) == ' ') 
	{
	  CookiePieces[0] = CookiePieces[0].substring (1, CookiePieces[0].length);
    }
	
    if (CookiePieces[0] == CookieName)
	  return true;
 }
 return false;
}