About the younger brother of Pung, according to "Nihonshoki" (Chronicles of Japan), he was called Paekche King Zenko (different kanji characters of Zenko in "Shoku Nihongi" [Chronicles of Japan Continued]), came from overseas to Japan and stayed here.
豊璋の弟については、『日本書紀』によれば百済王善光（『続日本紀』では禪廣）といい日本に渡来人として滞在した。