Update doc1.txt