They were actually pre-determined by the contract. That's how someone was able to "game the system" and buy all three red OCS stamps.