title: change month name to month number for the specific lines in sed awk or batch
body: <p>I have a file that contains the time of observations (time and date) with measurements.</p>
  
  <p><strong>Input File:</strong>   </p>
  
  <pre><code>TimeStamp=Wednesday,February 21,2018 4:33:10 PM   
  1,16.00,17.11,703.41,257.462,12.3,13.8   
  2,17.11,18.30,753.61,308.084,13.8,15.3    
  3,18.30,19.58,733.57,335.605,15.3,18.0   
  TimeStamp=Wednesday,February 21,2018 4:35:54 PM  
  1,16.00,17.11,638.19,233.251,12.3,13.5  
  2,17.11,18.30,606.43,247.558,13.5,15.5  
  3,18.30,19.58,708.14,323.502,15.5,18.2  
  TimeStamp=Wednesday,February 21,2018 4:38:37 PM  
  1,16.00,17.11,543.10,201.339,12.5,13.5  
  2,17.11,18.30,542.06,224.449,13.5,15.3  
  3,18.30,19.58,693.38,321.293,15.3,17.8  
  </code></pre>
  
  <p>I want to convert the month name to month number for the specific lines, which contains the "TimeStamps=". Additionally, I also want to change the time from 12-hour format to 24-hour format.</p>
  
  <p><strong>Output File:</strong>   </p>
  
  <pre><code>TimeStamp=Wednesday,02 21,2018 16:33:10  
  1,16.00,17.11,703.41,257.462,12.3,13.8   
  2,17.11,18.30,753.61,308.084,13.8,15.3    
  3,18.30,19.58,733.57,335.605,15.3,18.0   
  TimeStamp=Wednesday,02 21,2018 16:35:54  
  1,16.00,17.11,638.19,233.251,12.3,13.5  
  2,17.11,18.30,606.43,247.558,13.5,15.5  
  3,18.30,19.58,708.14,323.502,15.5,18.2  
  TimeStamp=Wednesday,02 21,2018 16:38:37  
  1,16.00,17.11,543.10,201.339,12.5,13.5  
  2,17.11,18.30,542.06,224.449,13.5,15.3  
  3,18.30,19.58,693.38,321.293,15.3,17.8 
  </code></pre>
  
  <p>Please help in this.</p>
  
  <p>Thank you in advance.</p>