const int redVehiclePin = 3;
const int yellowVehiclePin = 4;
const int greenVehiclePin = 5;
const int redPedestrianPin = 6;
const int greenPedestrianPin = 7;
const int PedestrianButtonPin1 = 2;
const int PedestrianButtonPin2 = 8;
const int redPedestrianPin2 = 9;
const int greenPedestrianPin2 = 10;

void setup() {
  // put your setup code here, to run once:
  pinMode(redVehiclePin, OUTPUT);
  pinMode(yellowVehiclePin, OUTPUT);
  pinMode(greenVehiclePin, OUTPUT);
  pinMode(redPedestrianPin, OUTPUT);
  pinMode(greenPedestrianPin, OUTPUT);
  pinMode(redPedestrianPin2, OUTPUT);
  pinMode(greenPedestrianPin2, OUTPUT);
  pinMode(PedestrianButtonPin1, INPUT);
  pinMode(PedestrianButtonPin2, INPUT);
  
}

void loop() {
  // put your main code here, to run repeatedly:
  digitalWrite(redVehiclePin, LOW);
  digitalWrite(yellowVehiclePin, LOW);
  digitalWrite(greenVehiclePin, HIGH);
  digitalWrite(redPedestrianPin, HIGH);
  digitalWrite(redPedestrianPin2, HIGH);
  digitalWrite(greenPedestrianPin, LOW);
  digitalWrite(greenPedestrianPin2, LOW);
  if(digitalRead(PedestrianButtonPin1)==HIGH || digitalRead(PedestrianButtonPin2)==HIGH){
    digitalWrite(redVehiclePin, HIGH);
    digitalWrite(yellowVehiclePin, HIGH);
    digitalWrite(greenVehiclePin, LOW);
    delay(1000);

    digitalWrite(yellowVehiclePin, LOW);
    digitalWrite(greenPedestrianPin, HIGH);
    digitalWrite(redPedestrianPin, LOW);
    digitalWrite(greenPedestrianPin2, HIGH);
    digitalWrite(redPedestrianPin2, LOW);
    delay(5000);
    digitalWrite(yellowVehiclePin, HIGH);
    delay(1000);
  };
}