context: function feiertagsuchen(name,bund,formular) {  // ffnet Fenster in dem ein Feiertag ausgewhlt werden kann  open("feiertagauswahl.pl?name_feiertag="+name.value+"&bund_feiertag="+bund.value+"&suchen=suchen","feiertagwahl","scrollbars=yes,width=600,height=400");};
meta: 2800	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2800/7fd1382ab236e56fd8b828522ea9d7e477206a16/feiertage.js/clean/tinyheb/erfassung/feiertage.js