function ShowTree(id) {
	el = document.getElementById (id);
	img = document.getElementById ('img_' + id);
	if (el.style.display == 'none') {
		el.style.display = 'block';
		img.src = '/img/minus.gif';
	}
	else {
		el.style.display = 'none';
		img.src = '/img/plus.gif';
	};
};