function jumt_to_url(the_url){
	if (the_url!=0){
		window.open(the_url);
	}
}