string to int

tonumber

print(tonumber("1234"))