function show(Element) {
    var e = document.getElementById(Element);
    var icon = document.getElementById('icon_'+Element);
    if (e.style.display=='none') {
	e.style.display='block';
	icon.src='/resources/unfolded.gif';
    } else {
	e.style.display='none';
	icon.src='/resources/folded.gif';
    }
}