1 var g_menu_tree = null;
7 g_menu_tree = new Array(null, null, null);
9 g_menu_tree[0] = new Array();
10 g_menu_tree[0][0] = $('menu_webstart');
11 g_menu_tree[1] = new Array();
12 g_menu_tree[1][0] = $('menu_raduni');
15 function menu_show(id) {
16 $(id).style.visibility = 'visible';
19 function menu_over(over,obj) {
25 g_menu_cb = setTimeout(menu_hide, 0, g_menu_st, 0);
28 if (g_menu_cb != null) {
29 clearTimeout(g_menu_cb);
36 function menu_hide(st,lev) {
37 if (st == g_menu_st || lev > 0) {
38 for (e = lev ; e < g_menu_tree.length ; e++) {
39 if (g_menu_tree[e] != null) {
40 for (i = 0 ; i < g_menu_tree[e].length ; i++) {
41 if (g_menu_tree[e][i] != null) {
42 g_menu_tree[e][i].style.visibility = "hidden";
47 if (st == g_menu_st && lev == 0) {