Zheng Qiao (1104-1162) en " Introducción al Clan Tongzhi" (4) Registros especiales. "Tongzhi Volumen 26: El apellido del país es Yuan": "El apellido de la familia Han es Yuan - con este apellido, después de Gao. Al principio, Xiang Yu concedió a Peigong el título de Rey de Han, rey de Bashu, Hanzhong, ahora condado de Hanzhong, prefectura de Xingyuan, desde el emperador Gao hasta Guangwu finalmente pasó por el año 18 de Wang Mang y el segundo año de la dinastía Liu, por un total de 425 años, y pasó a la dinastía Han, y los descendientes pueden tomar el país como su apellido."
Chen Menglei (Dinastía Qing). "Colección de libros antiguos y modernos" "Recopilación Minglun de códigos familiares y apellidos" registra: "El apellido de la familia Han es Yuan - con este apellido , más tarde fue Gao. Al principio, Xiang Yu le otorgó a Peigong el título de Rey de Han, rey de Bashu, Hanzhong, ahora prefectura de Xingyuan, condado de Hanzhong. Desde el emperador Gao hasta Guangwu, pasó por el decimoctavo año de Wang Mang. segundo año de la dinastía Liu, con un total de 425 años, y pasó a la dinastía Han, y los descendientes pueden tomar el país como apellido."