Add the number 12 (fixes issue #1)