How to reset post IDs

I have a news site that grabs and posts things automatically, so I want to periodically reset the post ID number, just because I want to be able to keep the ID short and because I only keep posts that are about 3-day old. So, if you’re like me and for whatever reason you want to reset the post ID, this is how you’d do it:

Go into your PHPMyAdmin and export the Post table, everything, then Drop it (delete it).
Search for this line “ENGINE=MyISAM DEFAULT CHARSET=latin1 AUTO_INCREMENT=this_number“; where “this_number” is the ID number for your next post.
Change “this_number” to whatever number you want, just make sure you’re not gonna have duplicate post IDs when you let it loose.
Import your corrected Post table into your database.

Good luck.