function spoiler_on()
			{	//document.getElementById('spoiler').style.visibility='visible';
				document.getElementById('spoiler').style.display='';
			}
		function spoiler_off()
			{	//document.getElementById('spoiler').style.visibility='hidden';
				document.getElementById('spoiler').style.display='none';
			}