import time
import machine

rode_led = machine.Pin(0,machine.Pin.OUT)
gele_led = machine.Pin(1,machine.Pin.OUT)
groene_led = machine.Pin(2,machine.Pin.OUT)
rode_led2 = machine.Pin(3,machine.Pin.OUT)
gele_led2 = machnine.Pin(4,machine.Pin.OUT)
groene_led2 = machnine.Pin(5,machine.Pin.OUT)
drukknop1 = machine.Pin(15,machine.Pin.IN)
drukknop2 = machine.Pin(14,machine.Pin.IN)

while True:
  if drukknop1.value() == 1:
    rode_led.value(1)        
    gele_led.value(0)
    groene_led.value(0)
    rode_led2.value(0)
    gele