title: creating a table with a primary key that is auto increment with default values of 10000
body: <pre><code>"CREATE TABLE dummy
  (
  tnum UNSIGNED INT NOT NULL AUTO_INCREMENT,
  PRIMARY KEY (tnum),
  )";
  
  ALTER TABLE dummy AUTO_INCREMENT = 10000;
  </code></pre>
  
  <p>This is not running. I would like to know what causes the error, and alternatives so that I can create an auto-incrementing primary key has a default value of 10000.</p>