title: bump or increment the integer that is a result of grep
body: <p>Im grepping below file with output below but i want the result to increment it with another number.</p>
  
  <pre><code>egrep -i --color=auto "[0-9]{10}" file
  2017080802 ; Xen number
  </code></pre>
  
  <p>How can I make it to <strong>2017080803</strong> at least?</p>