You have a computer that runs Windows 7. You install a third-party Web browser. You discover that HTMLfiles are no longer associated with Windows Internet Explorer. You need to ensure that Internet Explorerstarts whenever a HTML file is opened.  What should you do from Internet Options?（）