w00p!

We have now entered the realm of 4-digit IDs! WOO! I hope nobody thought it would break! It'll actually break at the 64-bit integer limit, but we'll never hit that!