_IPDNSOTHER  returns a space-delimited list of other DNS servers configured for the host machine. (The primary server is returned by %_IPDNSSERVER.)