banner of the stars ost is the soundtrack to what tv program?
(AND tv.tv_program (JOIN tv.tv_program.soundtrack m.01pv665))