This is how my CD/MP3 player counts from 01 to 13:
11, 12, 13, 02, 03, 04, 05, 06, 07, 08, 09, 10, 01.
It does okay as long as it doesn't have to count to 10 or higher, then all hell breaks loose. I converted the track numbers in the file names to three-digit values (001 - 013) but that didn't make any difference.
My mind is very thoroughly boggled.

