Update test12.txt