var JSmenu71a1b = new JSmenu(1,'JSmenu71a1bForm'); var eid71a1b1=0;