var JSmenu80b00 = new JSmenu(1,'JSmenu80b00Form'); var eid80b001=0;