int greenLed=13;
int redLed=12;
int num=0;

void setup(){
//Set up LED pins and turn on RED
pinMode(greenLed, OUTPUT);
pinMode(redLed, OUTPUT);
digitalWrite(redLed, HIGH);
digitalWrite(greenLed, LOW);
}

void loop(){
  while (num<80){
    digitalWrite(redLed,LOW);
    delay(150);
    digitalWrite(redLed, HIGH);
    delay(150);
    num++;
  }
  digitalWrite(redLed, LOW);
 digitalWrite(greenLed,HIGH);
 delay(5000);
 digitalWrite(redLed, HIGH);
 digitalWrite(greenLed,LOW);
 delay(5000);
}