from Hot Springs.