/* 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