from machine import Pin
from time import sleep

LED4 = Pin(13,Pin.OUT)
LED3 = Pin(12,Pin.OUT)
LED2 = Pin(11,Pin.OUT)
LED1 = Pin(10,Pin.OUT)
while True: