Henry Higginbotham
Yes, same thing. Excel found 299 instances of "13," counting 1313 as only one instance. So 10,000 - 299 = 9701 assignable PINs.

I wanted to include a screen shot showing all 10,000 numbers, with the 13s highlighted, but I've just bought a new computer and don't yet have any program that can reduce the file size enough to post.