from machine import pin
from time import sleep
led red=pin(23,pin.out)
led green=pin(21,pin.out)
led yellow=pin(19,pin.out)
while true: