#define pinLEDRED 13;
#define pinLEDYELLOW  12;
#define pinLEDGREEN  11;
#define TOMBOL  7; 

void setup() {
pinMode(7, INPUT); 
pinMode(13, OUTPUT);
pinMode(12, OUTPUT);
pinMode(11, OUTPUT);
digitalWrite(13, LOW);
digitalWrite(12, LOW);
digitalWrite(11, LOW);
}
void loop() {
if(digitalRead(7) == HIGH){
  delay(200);
  digitalWrite(12, HIGH);
  delay(2000);
  digitalWrite(12, LOW);
  digitalWrite(13, HIGH);
  delay(5000);
  digitalWrite(13, LOW);
  digitalWrite(11, HIGH);
  delay(5000);
  digitalWrite(11, LOW);
}
}