function buttonsHide ()
{
	var buttons = document.getElementById ("BUTTONS");
	buttons.style.visibility = 'hidden';
}