var JSmenu72c53 = new JSmenu(1,'JSmenu72c53Form'); var eid72c531=0;