/* Menu.js */ var menuar = new Array(); menuar.push("euses_menu"); function show_menu(type_id) { /* Wenn kein Parameter angegeben wird, werden alle anderen Untermenus ausgeblendet */ if(type_id == undefined) { for(i=0; i