from machine import Pin
from utime import sleep

print("Hello, Pi Pico!")
red_led = Pin(25, Pin.OUT)
led = Pin(1, Pin.OUT)
led3 = pin(5, Pin.OUT)
while True:
  led.toggle()
  red_led.toggle()
  sleep(0.5)