A random change of 8584 to main1.txt
A random change of 10309 to main2.txt
A random change of 9963 to main3.txt