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