import RPi.GPIO as GPIO import time