document.getElementById("enter").addEventListener("click", function () {
  if ((<HTMLInputElement>document.getElementById("numeroSerie")).value.length < 9) {
    (<HTMLInputElement>document.getElementById("tet")).innerHTML = "O Campo "Número de série" deve conter 9 dígitos.";

    setTimeout(function () {
      (<HTMLInputElement>document.getElementById("tet")).innerHTML = "";
    }, 5000);

    return false;
  }
});

window.onload = function () {}

(<HTMLInputElement>document.getElementById("form")).addEventListener("submit", function () {
});