<!--

function linkJump() {

window.location= document.getElementById('pageURL').value;
}
function linkJump2() {

window.location= document.getElementById('pageURL2').value;
}
function linkJump3() {

window.location= document.getElementById('pageURL3').value;
}
//-->