void setup() {
  // initialize serial communications at 9600 bps:
  Serial.begin(9600); 
  // declare the led pins as outputs:
  pinMode(redLED, OUTPUT);
  pinMode(greenLED, OUTPUT);
}