machine.Pin(12, machine.Pin.IN, machine.Pin.PULL_DOWN);k=0
while 1:
    if (machine.Pin(12).value()==1)*( k==0):
        machine.Pin(13, machine.Pin.OUT, machine.Pin.PULL_DOWN).toggle();k=1
    if (machine.Pin(12).value()==0):
        k=0
    print ("    ",k,machine.Pin(13).value(),chr(13), end="")