// JavaScript Document

function jumpTo(url){
	window.location = url;
}