RPi.GPIO BCM and BOARD numbering on a Raspberry Pi 4

# RPi.GPIO with BOARD numbering: pins by their place on the header.
# Header pin 11 is GPIO17 and pin 13 is GPIO27. With GPIO.setmode(GPIO.BCM)
# the same two LEDs would be 17 and 27.
import RPi.GPIO as GPIO
import time

GPIO.setmode(GPIO.BOARD)
LEDS = [11, 13]
GPIO.setup(LEDS, GPIO.OUT, initial=GPIO.LOW)

try:
    while True:
        for pin in LEDS:
            GPIO.output(pin, GPIO.HIGH)
            print("header pin", pin, "on")
            time.sleep(0.5)
            GPIO.output(pin, GPIO.LOW)
finally:
    GPIO.cleanup()