function toggle(name,onOrOff) {
	var toc = document.getElementById(name);
	if (toc.style.display != 'none') tocWas = toc.style.display;
	
	if (onOrOff) {
		if (onOrOff == 'on') {
			if (toc.style.display == 'none') {
				toc.style.display = tocWas;
			}
		} else {
			if (toc.style.display != 'none') {
				toc.style.display = 'none';
			}
		}
	} else {
		if (toc.style.display == 'none') {
			toc.style.display = tocWas;
		} else {
			toc.style.display = 'none';
		}
	}
}