from machine import Pin
from neopixel import NeoPixel
import time
human = Pin(4, Pin.IN, Pin.PULL_UP)

np = NeoPixel(Pin(12), 16)

def fun(human):
    for i in range(3):
        for i in range(16):
            np[i] = (255, 0, 0)
        np.write()    
        time.sleep(0.5) 

        for i in range(16):
            np[i] = (0, 0, 0)
        np.write()    
        time.sleep(0.5)
human.irq(fun,Pin.IRQ_RISING)