i want to extract a number from a html string (i usually do not know the number).
The crucial part looks like this:
You can use string partitioning to extract a "number" string from the whole HTML string like this (assuming HTML code is in html_string variable):
num_string=html_string.partition("TOTAL:")[2].partition("<")[0]
there you get num_string with the number as a string, then simply convert it to an integer or whatever you want. Keep in mind that this will process the first occurence of anything that looks like "TOTAL: anything_goes_here <", so you want to make sure that this pattern is unique.