/ ‘dns/student-domains.txt’