const input1 = document.getElementById("szam1")! as HTMLInputElement;