function disable_button(str_button) 
{
	if(document.all || document.getElementById)
	{
		str_button.disabled = true;
	}
}