Шо за праздник?

Было 3 выходных дня. Что за праздник был 4-го ноября?..
7 ноября - помню. Был такой в советские времена. 4-ое - не знаю...
Понятное дело, что нам пофиг, что праздновать. Главное - лишний выходной. Но могли бы и проинформировать... Низачот.