Rename document.txt to doc.txt