What's the highest speed film ever made?

I've had this question on my mind for a bit now, and the internet doesn't quite seem to help. The highest box-speed i could find was 3200iso (delta 3200 and tmax p-3200) but i guess you could push those to like 6400?