cat <counter, new); } EOF