from machine import Pin 
import time

led1 = Pin(4,Pin.OUT)
led2 = Pin(7,Pin.OUT)
led3 = Pin(13,Pin.OUT)

while True:
    led1.value(1)
    time.sleep(5)
    led1.value(0)
    led2.value(1)
    time.sleep(3)
    led2.value(0)
    led3.value(1)
    time.sleep(5)
    led3.value(0)