# import needed libraries 
import RPi.GPIO as GPIO
import time
from time import sleep

redLed= #red Led is pin
tirg= #trigger pin is in pin
echo= #Echo pin is in pin 

#Setup led, trig and echo as output and input 
GPIO.setup(redLed)