There's got to be an easy way to do this

[Michael Ströder]

Emile van Sebille wrote:
> Or (without re):
> print "".join([x for x in '(123)/456-7890' if x in '0123456789'])

I guess this one will be significantly slower for larger
data sets than the re solution because of

  if x in '0123456789'

Ciao, Michael.