<!--
function JumpToIt() {
    var newPage = document.linklist.url.options[document.linklist.url.selectedIndex].value
    if (newPage != "None")
        location.href = newPage
}
//-->