7-е - уже совершенно не "привычное", а нафиг никому не нужное, кроме маленькой группки людей, живущих в прошлом. И высасывать из пальца хоть 4-е, хоть еще какое число в начале ноября для празднования чего-то там - дело бесполезное и даже вредное (в плане траты бюджетных средств и на простои, и на отмечание), т.к. это действительно ничего не значащие для подавляющего большинства россиян даты.