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