The first of these two players, 계룡산(P), probably chose his userid because of the mountain in Korea having the same name.  The text might be romanized to be something like "Gyeryongsan".  The mountain is approximately 845 meters high, and is located in Chungcheongnam-do, South Korea.  The interesting thing is, this mountain is traditionally considered to be very sacred, having been said to have more energy (maybe "ki" in Japanese) than any other mountain in South Korea.  Perhaps it would have been a good place for the traditional Seonbi Confucian scholars to practice go.  

I did a bit more research into 계룡산(P), and found the following article:

http://jjtygem.joins.com/News/view.asp?seq=10905&pagec=40

The author of the article spoke a bit about 계룡산(P).  According to him, 계룡산(P) is one of the more active 9d pros playing on Tygem these days.  He says that he has an apparent passion for go.  The author goes on to say that he doesn't feel like 계룡산(P) is as passionate as some of the super-famous stars like 철이, 외출이, 가닥구, and so on, but he definitely has a passion, perhaps comparable to joonki 9d.  The author goes on to mention that there is starting to be a "계룡산 Mania", and jokingly suggests that maybe 계룡산(P) and his fans will go on some training at Mount Gyeryongsan.

I wasn't able to find out much about ChunF(P), except that he has a pretty good winning record of 116 wins to 63 losses (a win rate of about 65%, which is pretty good against other Tygem 9ds).  In any case, he certainly put up a good fight against 계룡산(P).  His early-game tactics were interesting, leading to the development of a large chunk of territory in the bottom right corner.  What do you think of the game?