function setTopTitle( theTitle )
{
  if( top != self )
    top.document.title = theTitle;
}

function setTitle( theTitle )
{
  document.title = theTitle;
}

function setWindowDefaultStatus( theWindowDefaultStatus )
{
  window.defaultStatus = theWindowDefaultStatus;
}

function trim( chain )
{
  for( i=0; i<chain.length; )
  {
    if( chain.charAt(i) == " " )
      chain = chain.substring( i+1, chain.length );
    else
      break;
  }

  for( i=chain.length-1; i>=0; i=chain.length-1 )
  {
    if( chain.charAt(i) == " " )
      chain=chain.substring( 0,i );
    else
      break;
  }

  return chain;
}