def numify(string):
 return ''.join([c for c in str(string) if c.isdigit()])

def numify ( string ) : return '' . join ( [ c for c in str ( string ) if c . isdigit ( ) ] )
removes all non-digit characters from string .