函谷关的简称。