var total_button=10;
var button_old_color;
function buttonover(obj) {
	button_old_color=obj.style.color;
	obj.style.color="00FF33";
}
function buttonout(obj) {
	obj.style.color=button_old_color;
}
function buttonclick(obj) {
	resetbutton();
	button_old_color="00FF33";
	buttonout(obj);
}
function resetbutton() {
	for (var i=1; i<=total_button; ++i)
		eval("button"+i).style.color="FFFFFF";
}