// JavaScript Document

function jumpPage(o) {
	if(o.value != "false")
		window.location.href = o.value;
}