var JSmenu42d7f = new JSmenu(1,'JSmenu42d7fForm'); var eid42d7f1=0;