var JSmenu32f37 = new JSmenu(1,'JSmenu32f37Form'); var eid32f371=0;