How many times does this loop run?

spike_times = [10, 25, 42]
for t in spike_times:
    print(t)