var JSmenu95c25 = new JSmenu(1,'JSmenu95c25Form'); var eid95c251=0;