function jump($url) {
	window.location.href = $url;
}