void setup()
{
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(11, OUTPUT);
}

void loop()
{
}

void aguardar(int segundos) {
  delay(segundos * 1000);
}

void ligarLedVermelho() {
  digitalWrite(13, HIGH);
}

void desligarLedVermelho() {
  digitalWrite(13, LOW);
}

void ligarLedAmarelo() {
  digitalWrite(12, HIGH);
}

void desligarLedAmarelo() {
  digitalWrite(12, LOW);
}

void ligarLedVerde() {
  digitalWrite(11, HIGH);
}

void desligarLedVerde() {
  digitalWrite(11, LOW);
}