Посвящается Дню шахтера.