function screensize()
{
  kleiner_bs = (screen.width < 1000);
  dok_name = self.location.href;
  laenge = dok_name.length;
  rest = dok_name.substr(dok_name.length-6,6);
  if (rest == "_k.htm" && !kleiner_bs)
  {
    // kleine Datei auf großen bildschirm
    neue_url = dok_name.substr(0,dok_name.length-6)+".htm";
    self.location.href = neue_url
  }

 if (!(rest == "_k.htm") && kleiner_bs)
  {
    // große Datei auf kleinem bildschirm
    // ist eine Dateiangabe dabei oder nur eine url ?
    rest = dok_name.substr(dok_name.length-1,1);
    if (rest == "/")
    {
      dok_name = dok_name+"index.htm";
    }
    neue_url = dok_name.substr(0,dok_name.length-4)+"_k.htm";
    self.location.href = neue_url
  }
}