var JSmenu72d3b = new JSmenu(1,'JSmenu72d3bForm'); var eid72d3b1=0;