import machine as Gpio
import time 

led1= Gpio.pin(3,Gpio.Pin.OUT)
led2= Gpio.pin(4,Gpio.Pin.OUT)
led3= Gpio.pin(5,Gpio.Pin.OUT)

def set_rd(RED):
  led1.value(RED)
def set_gr(green):
  led2.value(green)
def set_rd(BUE):
  led1.value(RED)

while true:
    set_rd(1)
    time.sleep(0.50);