Update script.js

script.js

@@ -11,7 +11,7 @@ tokenizeButton.addEventListener("click", async () => {
   let tokenizer = new Tokenizer(tokenizerJSON, tokenizerConfig);
   let text = document.querySelector("#text").value.replace(/[^\S ]/g, "");
   let tokenized = tokenizer.encode(text);
-  document.querySelector("#totalLength").textContent = `Total length: ${tokenized.length}`;
+  document.querySelector("#totalLength").textContent = `Total length: ${tokenized.ids.length}`;
   let output = document.querySelector("#output");
   output.contentDocument.body.innerHTML = "";
   let colors = ["#ff0000", "#ff8700", "#ffd300", "#deff0a", "#a1ff0a", "#0aff99", "#0aefff", "#147df5", "#580aff", "#be0aff"].sort(() => Math.random() - 0.5);