#include <IRremote.h>
#include <boarddefs.h>
  IRsend irr;
 
void setup(){
  Serial.begin(9600);
  irr.enableIROut(38); // 38 kHz out D9/D3
}
 
void loop() {
  irr.sendNEC(0xDA001134, 32);
  delay(200);
}