#3953 using user agent as parameter in getHTML
#3953