My guess is that it's not a random numer. The reason I say this is that in order to do that randomly you would have to geneerate a random number then check that it's not already used, that would be a lot of time for a forum of any size. Then you also loose all of the sorting abilities you get with an autonumber field.
It it probably some hashed together number. Like puting the userid, forumid and post id all rogether in one string. If you start the auto numbering of userid and forumid in the thousands then you'll get numbers like the one posted above.