from machine import Pin
from utime import sleep

led_red = Pin(12, Pin.OUT)

for i in range(10):
    led_red.value(1)
    sleep(1)
    led_red.value(0)