void setup() {
  // put your setup code here, to run once:
  Serial.begin(115200);
  pinMode(12,OUTPUT);
  pinMode(19,OUTPUT);
  pinMode(13,OUTPUT);
  pinMode(17, INPUT);
}

void loop(){
int a=digitalRead(17);
if(a==1)
{
  digitalWrite(12, HIGH);
  delay(500);
  digitalWrite(12, LOW);
  delay(500);
  digitalWrite(19,HIGH);
  delay(500);
  digitalWrite(19,LOW);
  delay(500);
  digitalWrite(13,HIGH);
  delay(500);
  digitalWrite(13,LOW);
  delay(500);
}
else
{
digitalWrite(12, LOW);
digitalWrite(19, LOW);
digitalWrite(13, LOW); 
}
}