var JSmenu1ef47 = new JSmenu(1,'JSmenu1ef47Form'); var eid1ef471=0;