[WIP]add 4 to a.txt