Gukanshō, pp. 289; excerpt, "Koko's personal name was Tokiayasu, and he was called the 'Emperor of Komatsu'.
Gukanshō, pp. 289; trích đoạn ", tên cá nhân Koko là Tokiayasu, và ông được gọi là" Hoàng đế của Komatsu '.