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';
}