var JSmenu20db7 = new JSmenu(1,'JSmenu20db7Form'); var eid20db71=0;