---

#include <IRremote.h>

#define IR_LED_PIN 3
#define BUTTON_PIN 13

IRsend irsend;
int lastButtonState = HIGH;
int number = 0;

void setup() {
  pinMode(BUTTON_PIN, INPUT_PULLUP);
}

void loop() {
  int buttonState = digitalRead(BUTTON_PIN);
  
  if (buttonState == LOW && lastButtonState == HIGH) {
    number++;
    if (number > 9999) number = 0;
    
    irsend.sendNEC(number, 32);
    delay(100);
  }
  
  lastButtonState = buttonState;
}