Html 将.txt扩展名添加到用户输入表单

我有一些代码可以让我搜索file.txt以在iframe中显示结果，但是我需要的不是用户键入example.txt，而是只需键入example，然后自动添加.txt扩展名。如何使用当前代码执行此操作：

<script>
            function append(){

                var text1=document.getElementById("input1").value;
                document.getElementById("iframe1").setAttribute("src",text1);
            }

            </script>
            </form> 
            <form name="inputForm" action="" method="get">
            <font size="5">File: </font><input type="text" id="input1" name="user">
            <input type="button" value="Submit" onclick="append()">
            </form> 
            <iframe id="iframe1" name="frame" src="(FILE).txt" frameborder="1" height="350" width="400" ></iframe>

---

这个方法工作得很好，但是我如何在不必键入.txt的情况下获得相同的结果呢？

jQuery应该可以工作得很好

http://api.jquery.com/appendTo/

只需在字符串中附加.txt，不是吗

function append(){
    var text1=document.getElementById("input1").value;
    document.getElementById("iframe1").setAttribute("src", text1+".txt");
}

---

哇，我以为是这样，但我用了text1+.txt。我真傻。。。非常感谢，你帮了一个新手@Jake使用单引号或双引号并不重要：