int red = 13;
int green = 12;
int button = 11;


int buttonstate = 0;

void setup() {
  // put your setup code here, to run once:
  pinMode(red, OUTPUT);
  pinMode(green, OUTPUT);
  pinMode(button, INPUT); // This line should be inside the setup function
}


void loop() {
  // put your main code here, to run repeatedly:
  buttonstate = digitalRead(button);

  if (buttonstate == 1) { // Check if the button is pressed
    digitalWrite(red, HIGH);
    digitalWrite(green, HIGH);
  } else { // If the button is not pressed
    digitalWrite(red, LOW);
    digitalWrite(green, LOW);
  }
}