Sorry for the poor image, its directly off Brazil 1970 video clips. It's a pretty standard football shirt number font, anyone know what it is?

Thanks!