挖矿洞。

今天挖了一个矿洞开心。