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