def change_channel(self, num):
VideoService = Runtime.get_service('video')
# get a live channel stream
source = VideoService.get_video_for_channel(num)
# update our video widget to play the source
self.view.video.set_source(source)
# update our current channel label
self.view.channel_label.set_text('<b>%d</b>' % num)
