/* function-lib */
function autoInsertTargets ( )
{
  for ( var i = 0 ; i < document.links.length ; ++ i )
    if ( document.links [ i ] .hostname != window.location.hostname )
      document.links [ i ] .target = "_blank" ;
  return ;
} // ende function insertTarget


function insertTarget ( objekt )
{
  objekt.target = '_blank' ;
  return ;
} // ende function insertTarget
// Aufruf: insertTarget ( this ) ;


function gehezu ( url )
{
  document.location.href = url ;
  return ;
}


function aktualisieren ( )
{
  document.forms[0].submit() ;
}