Counting the number of button pushes.