День Шахтера

А вы знаете? Какого числа день шахтера в России?
«День шахтёра» — профессиональный праздник работников горной промышленности, отмечается ежегодно в последнее воскресенье августа.