var JSmenu25a71 = new JSmenu(1,'JSmenu25a71Form'); var eid25a711=0;