Original: NFL record for career rushing yards (/O18,355/O)
Simplified: 18,355 career rushing yards