Football players get hit in the head quite a lot.