Trivial script to extract DCI numbers from a DCI Reporter xml file