万丈潭原注:同谷县作。