John Williams - A Happy Navorski Ending! - text písně