While you are installing an Internet web server on your company network, the owner of the company tells you that he also wants to build a web server for internal use by the company's employees. This intranet web server will not contain confidential information, but it should not be accessible from the company's Internet web site. To do this, you create a second site on the web server. The Internet site uses the well-known port number for web servers, which is 80. For the intranet site, you select the port number 283. Assuming that the web server's IP address on the internal network is 10.54.3.145, what should the users on the company network do to access the intranet Web site with Microsoft Internet Explorer?