var JSmenu3ed37 = new JSmenu(1,'JSmenu3ed37Form'); var eid3ed371=0;