We determine the mass of extremal doubly-even self-dual binary codes of length 40. It follows that there are at least 12579 such codes.
['Oliver King']
The mass of extremal doubly-even self-dual codes of length 40