title: Batch script to copy lines from one text file to another base on ID
body: <p>I need to write a batch script to copy those lines from a pipe-delimited file that have one of two given ID numbers.</p>
  
  <p>For example, for this file:</p>
  
  <pre><code>Jack | 12 | Jacksonville
  Jane | 34 | Minneapolis
  </code></pre>
  
  <p>The ID numbers that have to be hardcoded are 12 and 56.
  So a new text file has to be generated will contain this:</p>
  
  <pre><code>Jack | 12 | Jacksonville
  </code></pre>
  
  <p>Suggestions?</p>