title: Extract numeric part of strings of mixed numbers and characters in R
body: <p>I have a lot of strings, and each of which tends to have the following format: <code>Ab_Cd-001234.txt</code>
  I want to replace it with <code>001234</code>. How can I achieve it in R?</p>