title: HTML5 Form Pattern for 7 or 10 numbers only
body: <p>I need a pattern for a student ID that must be either 7 or 10 digits long. </p>
  
  <pre><code>pattern="[0-9]{7,10}"
  </code></pre>
  
  <p>I got this but obviously this is between 7-10 not 7 | 10</p>
  
  <p>I tried <code>pattern="[0-9]{7|10}"</code>, that also does not work.</p>
  
  <p>Any ideas?</p>