from machine import Pin
from time import sleep
while True:
    for i in range(13,7,-1):
        led=Pin(i,Pin.OUT)
        led.value(1)
        sleep(0.3)
        led.value(0)
# switch the numbers and add negative number 
# this will make it go reverse