The ADSETDC option specifies the TCP/IP address of the domain controller. If no address is set, the server searches for the Active Directory.
Specify the address of the domain controller:
adsetdc 200.12.34.7
The address can be specified with the name instead of numbers:
adsetdc w2kdctl.company.com