<header>KDC</header> The name of a host running a KDC for that realm, with its optional port number.<br> This should be used only if the KDC information is not available through DNS. <hr>