function Menu_On(MenuID) {
	if (document.getElementById) {
		var el = document.getElementById(MenuID);
		el.style.display = 'block';
	}
}
function Menu_Off(MenuID) {
	if (document.getElementById) {
		var el = document.getElementById(MenuID);
		el.style.display = 'none';
	}
}


function showDescr(txDescr) {
	if (document.getElementById) {
		document.getElementById('tool-description').innerHTML = txDescr;
	}
}
function hideDescr() {
	if (document.getElementById) {
		document.getElementById('tool-description').innerHTML = ' ';
	}
}