var JSmenu37de3 = new JSmenu(1,'JSmenu37de3Form'); var eid37de31=0;