function change_url (name1,url1,name2,url2,name3,url3)
  { if (name1 == "de")
    { document.all.de.href = url1;
    }
    if (name1 == "en")
    { document.all.en.href = url1;
    }

    if (name2 == "de")
    { document.all.de.href = url2;
    }
    if (name2 == "en")
    { document.all.en.href = url2;
    }
  }