var JSmenu719a3 = new JSmenu(1,'JSmenu719a3Form'); var eid719a31=0;