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