def strip_non_numbers(input_string): return ''.join(char for char in input_string if char.isdigit())