print("HELLO PUSH BUTTON; ")
from machine import Pin 
from time import sleep

led = Pin(2, Pin.OUT) 
pushButton = Pin(13, Pin.IN) 

while True:
  state = pushButton.value() 
  if state == True:
    led.value(1)
  else:
    led.value(0)