from machine import Pin
import utime

#Define the GPIO pins for the push switch and LED
push_switch_pin = Pin(6,Pin.IN)
led_pin = Pin(S,machine,Pin.OUT)

#Main loop
while True:
    if push_switch_pin.value() ==1:  #check if the push switch is pressed
      led_pin.on()  #Turn on the LED
    else:
       led_pin.off()  #Turn off the LED
    utime.sleep(10)