what is the other name of hot spring. There are any references about what is the other name of hot spring in here. you can look below.