function toggle(name) {
	var element = document.getElementById(name);
	if (element.style.display == '')
		element.style.display = 'none';
	else
		element.style.display = '';
}