function Uebersetzen(F1,F2,SPRALT,SPRNEU)
 { 
  var URL1;
  var URL2;
  URL1=parent.frames[F1].location.href;
  URL2=parent.frames[F2].location.href;
  URL1=URL1.replace(SPRALT,SPRNEU);
  URL2=URL2.replace(SPRALT,SPRNEU);
  parent.frames[F1].location.href=URL1;
  parent.frames[F2].location.href=URL2;
 }