At different times in his life , Jeong had many kinds of ho , or pen name .
At different times in his life , Jeong adopted a wide variety of ho , or pen names .