from machine import Pin
import time
from time import sleep

led7=Pin(7,Pin.OUT)
led10=Pin(10,Pin.OUT)
button=Pin(0,Pin.IN)
while True:
    while button.value()==1:
        led7.on()
        sleep(0.5)
        led7.off()
        sleep(0.5)
    while button.value()==0:
        led10.on()
        sleep(0.5)
        led10.off()
        sleep(0.5)