function jumpMenu(url,t) {
	if ( url.length > 0 ) {	location.href=url; }
}