int ledred = 10;
int ledgreen = 4;

int pbtred = 11;
int pbtgreen = 5;

int pbtstdred = 0;
int pbtstdgreen = 0;

void setup() {
  // put your setup code here, to run once:
pinMode(ledred, OUTPUT);
pinMode(ledgreen, OUTPUT);

pinMode(pbtred, INPUT);
pinMode(pbtgreen, INPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
pbtstdred = digitalRead(pbtred);
pbtstdgreen = digitalRead(pbtgreen);

if (pbtstdred == HIGH){
   digitalWrite(ledred, HIGH);
delay(200);
digitalWrite(ledred, LOW);
delay(200);
digitalWrite(ledred, HIGH);
delay(200);
digitalWrite(ledred, LOW);
delay(200);
digitalWrite(ledred, HIGH);
delay(200);
digitalWrite(ledred, LOW);
delay(200);
digitalWrite(ledred, HIGH);
delay(1000000);
digitalWrite(ledred, LOW);
delay(2000);
}
else{
   digitalWrite(ledred, LOW);
}

if (pbtstdgreen == HIGH){
   digitalWrite(ledgreen, HIGH);
}
else{
   digitalWrite(ledgreen, LOW);
}

}