Johnson_counter