from machine import Pin

btn = Pin(15, Pin.IN, Pin.PULL_UP)

led_red = Pin(5,Pin.OUT)

while True:
    button = btn.value()
    if(button == 0):
        led_red.value(1);
    else:
        led_red.value(0);