凿山开洞，从当时的技术来看也是一个浩大的工程。