echo $((`cat counter` + 1)) > counter