This is input7.txt