from machine import Pin 
from time import sleep
led=Pin(12,Pin.OUT)
key=Pin(25,Pin.IN,Pin.PULL_UP)
while True:
    x=key.value()
    if x==1:
        led.value(0)
    else:
        led.value(1)