I've seen 11-finger leaves before, but I don't think I've ever seen a 13.
Mostly 9's on the plants I've grown.
I'd love to see pics of that 13er!