var JSmenu5231c = new JSmenu(1,'JSmenu5231cForm'); var eid5231c1=0;