function switch_abstract(name){
	if (document.getElementById(name).style.display=="block")
		document.getElementById(name).style.display="none";
	else
		document.getElementById(name).style.display="block";

}