I got a PIN assigned by my bank back in the 1980s, and it is in that range. I always assumed it was random, because how easy is it to generate a 4-digit random number? But maybe they gave out PINs more like safe combinations. I don’t think you could change them back then, either.