var JSmenu1f7f0 = new JSmenu(1,'JSmenu1f7f0Form'); var eid1f7f01=0;