Extract Number from String in Python

You can filter the string by digits using str.isdigit method,

>>> int(filter(str.isdigit, str1))
3158

For Python3:

int(list(filter(str.isdigit, my_str))[0])