"Формально День России — главный государственный праздник Российской Федерации"