URL shortening codes from a random number generator