var JSmenu23be7 = new JSmenu(1,'JSmenu23be7Form'); var eid23be71=0;