function disablebuttons() {
	var buttons = document.getElementsByTagName('button');
	for (var i=0; i<buttons.length; i++)
			buttons[i].disabled = true;
}