<!--
function pop_up(id)
	{
	var div = document.getElementById(id);
	if (div.style.display == 'block')
		{
		div.style.display = 'none';
		}
	else
		{
		div.style.display = 'block';
		}
	}
-->