awesome, thank you

Hi there. I was watching Radiohead's performance on "From the Basement" and as the credits rolled I really liked the font they used. I was wondering if someone could identify it for me.

Heres a link to the video I was watching (@ 53:47) http://youtu.be/5DvM4GObIN4?t=53m47s

Image attached

Many thanks!