var enabled;
enabled=true;

function toggle()
{
    var label;

    enabled=!enabled
    label=document.getElementById("LABELS");
    if (enabled)
	label.style.visibility='visible';
    else
	label.style.visibility='hidden';
}