function hideshow_element(element_id) {
	element = window.top.document.getElementById(element_id);
	if (element.style.display == "none")
	{	element.style.display = "";	}
	else
	{	element.style.display = "none";	}
}