from machine import Pin 
import time
time.sleep(0.1) # Wait for USB to become ready
from machine import 
import time 
red_led = Pin(15, PIN_OUT)
green_led = Pin(14, PIN_OUT)
blue_led = Pin(13, PIN_OUT)
def turn_off()
red_led (0)
green_led(0)
blue_led(0)