title: awk: print certain columns and a series of concsecutive columns
body: <p>If I want to print, say, the fourth column till the tenth column, I can use:</p>
  
  <pre><code>awk '{for( i=4; i&lt;=10; i++ ){printf( "%s ", $i )}; printf( "\n"); }
  </code></pre>
  
  <p>But what if I want to print columns 1, 3, and then 4-10, and then 12? </p>