Removing all non-numeric characters from string in Python,""""""""""""".join(c for c in 'abc123def456' if c.isdigit())"