added line to record processed doc ids