var olddetail = null;
function showAbstract(detail)
{
	if (olddetail)
	{
		if (olddetail == detail)
		{
			var el = document.getElementById(detail)
			el.style.display = "none";
			olddetail = null;
			return;
		}
		var oel = document.getElementById(olddetail)
		if (oel.style.display == "block") oel.style.display = "none";
		else oel.style.display = "block";
	}
	olddetail = detail;
	var el = document.getElementById(detail)
	if (el.style.display == "block") el.style.display = "none";
	else el.style.display = "block";
}