// c++ code
{
void setup()
  (
    pinMode(13,OUTPUT);
    pinMode(12,OUTPUT);
    pinMode(7,OUTPUT);
  )
}
void loop()
{
  digitalWrite(13,HIGH);//delayMicroseconds(1000);
  digitalWrite(13,LOW);//delayMicroseconds(1000);
  digitalWrite(12,HIGH);
  //delay(1000);
  digitalWrite(12,LOW);
  //delay(1000);
  digitalWrite(7,HIGH);
  //delay(1000);
  digitalWrite(7,LOW);
  //delay(1000);
}