function change_display(element)
{
	if (element.style.display == 'block')
		element.style.display = 'none';
	else
		element.style.display = 'block';
}