var JSmenu17ec7 = new JSmenu(1,'JSmenu17ec7Form'); var eid17ec71=0;