the theme song for ha-alufa is what?
(AND tv.tv_theme_song (JOIN tv.tv_theme_song.theme_song_for m.0vsy8b2))