int switchState = 0;

void setup(){
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(11, OUTPUT);
  pinMode(2, INPUT);
}
void loop(){
  switchState = digitalRead(2);
  // this is a comment
  if (switchState == LOW){
    // the button is not pressed
    digitalWrite(13, LOW); // red LED
    digitalWrite(12, HIGH); // blue LED
    digitalWrite(11, LOW); // red LED
  }

else {// the button is pressed
digitalWrite(13, LOW);
digitalWrite(12, LOW);
digitalWrite(11, HIGH);
delay(250); // wait for a quarter second 
// toggle the LEDSs
digitalWrite(13, HIGH);
digitalWrite(11, LOW);
delay(250); // wait for a quarter second
}
} // go back to the beginning of the loop