过去时已经是下班时间了，没能进洞参观，好可惜。