import time
from machine import Pin

led=Pin(9,Pin.OUT)
button=Pin(0, Pin.IN, Pin.PULL_UP)

while True:
    if not button.value():
        led.toggle()