function jump (url) { if (url) location.href=url; }

function block_set(id,display) 
{
	if (document.getElementById(id)) document.getElementById(id).style.display = display;
}