mysql-how-do-i-start-auto-increment-from-a-specific-point

How to start Auto_increment from 1001

ALTER TABLE batchinfo AUTO_INCREMENT = 101;