<!--
function changeChannel (element) {
    var url = element.options[element.selectedIndex].value;
    if (url != "undefined") {
        parent.location=url;
    }
}
//-->