function jumpTo(url){
	if (url != ''){
		location.href=url;
	}
}