var num1 = parseInt(document.getElementById("txt1").value);什么意思?
document.getElementById("txt1")返回id为txt1的对象,.value取出文本框txt1中的值,
parseInt将取得的字符串转为整数