问题遇到的现象和发生背景

问题相关代码,请勿粘贴截图
if name == 'main':
url = 'https://baidu.com'
print(getHTMLText(url))
运行结果及报错内容
Traceback (most recent call last):
File "<pyshell#3>", line 3, in
print(getHTMLText(url))
NameError: name 'getHTMLText' is not defined
我的解答思路和尝试过的方法
我想要达到的结果
