// applied to a page element with onclick makes another page element appear/disappear
function toggleVis(object)
	{
	var object = document.getElementById(object);
	if(object.style.display=='none'){
		object.style.display = '';
	} else {
		object.style.display = 'none';
	}
}