What is they dug a mine?

35