Which chip to control four 3-digit 7-segment LEDs?

[Grrrmachine]

Thanks Paul. I've ordered one of those boards to try out ($1.60 from China), so we'll see how it goes.