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

void loop() {
  
random()