Update doc3.txt