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);
}

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

if (buttonState == 1)
{
  digitalWrite(red, HIGH);
  digitalWrite(green, HIGH);
}

else if (buttonState == 0)
{
  digitalWrite(red, LOW);
  digitalWrite(green, LOW);
}
}