Removing all non-numeric characters from string in Python

2:42 |