In page 8, i think chochoi is not a name, probably the dialog went like "... chochoi no choi".
Its an idiom which mean 'piece of cake', 'thats easy' or 'in a jiffy'
Are ga Deneb, Altair, Vega
Kimi no yubisasu natsu no daisankaku
Oboete sora o miru
Yatto mitsuketa orihime-sama
Dakedo doko darou hikoboshi-sama
Kore ja hitori bocchi
I literally sing these lyric when he mention the song