As mentioned by member @anon73444976, how can your LEDs emit light if you do not make those pins outputs ?
EDIT
Can we give these pins some names that mean something ?
pinMode(11, INPUT_PULLUP);
pinMode(12, INPUT_PULLUP);
pinMode(13, INPUT_PULLUP);