function useCheckbox( hidden_id, orig_value ) {
	var hidden_el = document.getElementById ( hidden_id );
	if ( hidden_el.value == orig_value ) hidden_el.value = 0;
	else hidden_el.value = orig_value;
}
function ShowHide(What)
{
	nav=document.getElementById(What).style
	if(nav.display=="none")
		{ nav.display='';}
	else
		{ nav.display='none'; }
}