function show_expanded()
{
	nonexpanded.style.display = "none";
	expanded.style.display = "";
}

function hide_expanded()
{
	expanded.style.display = "none";
	nonexpanded.style.display = "";
}