Original: The city has been known in the past by the names Wirye-seong ( ì ë ì ; æ
Simplified: At that time , the name of the city was Wiryeseong ( ì ë ì ) .