import machine
from machine import Pin
import time
LED_RED = machine.Pin(5, Pin.OUT)
LED_GREEN = machine.Pin(17, Pin.OUT)
BUTTON_PIN = machine.Pin(25, Pin.IN, Pin.PULL_UP)
print("Hello, ESP32!")
while True:
    if (BUTTON_PIN.value() == 0):
        LED_RED.value(1)
        LED_GREEN.value(0)
        print("RED is ON, GREEN is OFF")
        time.sleep(1)
        LED_RED.value(0)
        LED_GREEN.value(1)
        print("RED is OFF, GREEN is ON")
        time.sleep(1)
        if (BUTTON_PIN.value() == 1):
            LED_GREEN.value(0)
            print("RED is OFF, GREEN is OFF")