function jumpProducer(url) {
	if (url=='') return;
	document.location.href=url;
}