function toggle(hiddiv) {
	var el = document.getElementById(hiddiv);
	if ( el.style.display != 'none' ) {
		el.style.display = 'none';
	}
	else {
		el.style.display = '';
	}
}

function tool(div) {
	var el = document.getElementById(div);
	if ( el.style.display != 'none' ) {
		el.style.display = 'none';
	}
	else {
		el.style.display = '';
	}
}