const dns = (document.getElementById("dns").value || "").split(";").filter((a: string) => !!a);