function toggleVisibility(id,praefix) {
  elem = document.getElementById(id);
  if (elem.style.visibility == 'visible') {
		elem.className = praefix+'hidden';
		elem.style.visibility='hidden';
  } else {
		elem.className = praefix+'visible';
		elem.style.visibility='visible';
  }
}

function toggleVisibility2(id,praefix,visible) {
	elem = document.getElementById(id);
	if (visible) {
		elem.className = praefix+'visible';
		elem.style.visibility='visible';
	} else {
		elem.className = praefix+'hidden';
		elem.style.visibility='hidden';
	}
}