from periphery import GPIO

def light_red():
  gpio_green = GPIO(25, "out")
  gpio_red = GPIO(2, "out")
  gpio_blue = GPIO(80, "out")
  gpio_green.write(False)
  gpio_blue.write(False)
  gpio_red.write(True)
  gpio_green.close()
  gpio_blue.close()
  gpio_red.close()

light_red()