/////////////////////////////////////////////////////////

//date

  var xupdate="11. November 2003";

/////////////////////////////////////////////////////////


function checklinks()
{
  if (window.name <= " ")
  {
    top.location="links.htm";
    return false;
  }
  return true;
} // end checklinks

////////////////////////////////////////////////////////////////////////