I looked it up in Modern Chinese Dictionary-no, but I looked it up again, and the word "Ci Hai" didn't appear, so I'm sure it doesn't exist, but now people are so smart that they can make their own words. It is estimated that people in that mountain usually call him Yishan Yin, but I really don't know which word to write. In order to show that it is a mountain, a mountain is added next to it. So although there is no such word, I think they invented it to pronounce "Yi".