Para ello sabemos la existencia de: "Semaforo verde.png", "Semaforo amarillo.png" y "Semaforo rojo.png".