function ersetze(nummer,Link)
{
   var wobinich = "";
   var newstr   = "";

   wobinich += String(self.location);

   var k = wobinich.lastIndexOf("/");
   var i;

   for(i=0; i<=k; ++i)
   {
      newstr += wobinich.charAt(i);
   }

   var jetzt = new Date();

   newstr += Link + "?" + jetzt.getTime();

   if(top.frames)
     if(top.frames[nummer])
       top.frames[nummer].location.replace(newstr);
}

function ladeneu(nummer)
{
   if(top.frames)
     if(top.frames[nummer])
       top.frames[nummer].location.reload();
}