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() ;
}