Change auto increments starting number

If you ever have the need to change the starting number on a auto increment column (on a MySQL table) its pretty simple ALTER TABLE tablename AUTO_INCREMENT = 12345