function dumpswitch(source) {
		target = source.parentElement.cells[1].style;
		if (target.display == 'none') {
			source.style.fontStyle = 'normal';
			source.style.backgroundColor = 'aaaaee';
			target.display = '';
		} else {
			source.style.fontStyle = 'italic';
			source.style.backgroundColor = 'silver';
			target.display = 'none';
		}
	}