var JSmenu1256a = new JSmenu(1,'JSmenu1256aForm'); var eid1256a1=0;