pronto.js

function pronto(d) {
  var a=d.trim().split(" ").map(x=>parseInt(x,16)); 
  var freq = 4145146/a[1];
  Puck.IR(a.slice(4).map(x=>1000*x/freq));
}

var power = "0000 006C 0000 0022 00AD 00AD 0016 0041 0016 0041 0016 0041 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0041 0016 0041 0016 0041 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0041 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0016 0041 0016 0016 0016 0041 0016 0041 0016 0041 0016 0041 0016 0041 0016 0041 0016 06FB";
setWatch(
  function() {
    console.log("HH");
    pronto(power);
  },
  BTN, // pin to watch
  {edge:"rising", debounce:25, repeat:true} // settings
);