#include <timeObj.h>

timeObj timer(5000);

void setup() {
  pinMode(2,INPUT_PULLUP);
  pinMode(3,OUTPUT);
  digitalWrite(3,HIGH);
}

void loop() {
  
  if (!digitalRead(2)) {
    timer.start();
  }
  if (timer.ding()) {
    digitalWrite(3,LOW);
    timer.reset();
  }
}