title: Python Data Extraction from Text File
body: <p>The problem is data extraction from a bunch of junk in a text file. For example, first, I need to pull out this particular section from the text file:</p>
  
  <p>%T 525 1:0.00:6425.12 2:0.01:6231.12 3:0.00:3234.51 and goes on for quite long. </p>
  
  <p>Then, I need to specifically pull out the 3rd data from each phrase, that is 6425.12, 6231.12 and 3234.51 and write it to a new text file and then do some other editing on this data. </p>
  
  <p>I was looking into using regular expression for this case. Can anyone show sample code? Should be quite straight forward for an experience programmer. </p>