Counting the number of button pushes. 