List of NFL career punts leaders
In American football, a punt is a kick that is performed after a player (most often a punter) drops the ball from their hands and kicks it prior to it hitting the ground. Record keeping for punts in the National Football League (NFL) goes back to 1939.
Source: Wikipedia — List of NFL career punts leaders (CC BY-SA 4.0)