Which of the following ports does the DNS protocol use?