Obtaining Buttons Code

Use IRrecvDemo example file in IRremote library (https://github.com/z3t0/Arduino-IRremote) for getting your TV remote control push buttons IR codes. After that, you have to copy these codes to Remote Lamb.ino as #define 0xIRremote.