python 怎么抽出一个字符串中的特定字符

python 如何抽出一个字符串中的特定字符
某字符串中 有 url=may1/f00018.html ,其中 f00018 是随机可变的 我现在要抽出 00018 这样的数字,请问在python中 有没有什么好的办法 。我现在只能想到很搓的 遍历 。

------解决方案--------------------
最基本的正则表达式:
Python code
>>> import re
>>> re.match(r'may1/f(\d+).html', 'may1/f00018.html').group(1)
'00018'

------解决方案--------------------
用正则表达式是正确的
也可以这样
str1="may1/f00018.html"
x1=str1.find("may1/f")
x2=len(".html")
str2=[x1:x2]

------解决方案--------------------
用正则表达式是正确的
也可以这样
str1="may1/f00018.html"
x1=str1.find("may1/f")
x2=len(".html")
str2=[x1:x2]


这个必须"f00018"前后的字符长度固定,才可以。最好用一楼的正册方法。