// JavaScript Document
function show_all(theElement)
{
	document.getElementById(theElement + "_brief").style.display = "none";
	document.getElementById(theElement + "_full").style.display = "";
}