int IRpin = 9;
IRrecv irrecv(IRpin);
decode_results results;
int led = 11;
int lum = 128;
void setup()
{
Serial.begin(9600);
pinMode(11, OUTPUT);
pinMode(9, INPUT);
Why do you bother giving the pins names?
"I'm not a number; I'm a name!" - Bob Seger
Which Arduino do you have?