Trivia
Subject:
Re: Puzzler -- PINsResponse To:
Re: Puzzler -- PINs () Larry Barrett
and that is the only double count.
So the answer (my answer and Ed's, I think) is the number of unique PINs that do not include the number 13 is 10000 - (300-1). Hope this is what Henry came up with.