#!/usr/bin/env python
from time import sleep
import RPi.GPIO as GPIO

pin = 23

GPIO.setmode(GPIO.BCM)

GPIO.setup(pin, GPIO.OUT)

GPIO.output(pin, GPIO.HIGH)
sleep(3.1)
GPIO.output(pin, GPIO.LOW)

GPIO.cleanup()