function weiterleitung(file_name) {
        var strg1="location.";
        var strg2="href=";
        var strg3="file_name";
        eval(strg1+strg2+strg3);
  }