var classname = new Array();
classname[0] = "button";
classname[1] = "activebutton";
classname[2] = "hoverbutton";

var backup = new Array();
function fillBackup()
{
	for (var i = 0; i < document.getElementsByTagName("input").length; i++) {
		backup[document.getElementsByTagName("input")[i].id] = document.getElementsByTagName("input")[i].className;
	 }
}

function ButtonOut(ID)
{
	var myElement = document.getElementById(ID);
	myElement.className = backup[ID];
}

function ButtonEffect(action, ID)
{
	var myElement = document.getElementById(ID);	
	backup[ID] = myElement.className;
	myElement.className = classname[action];
}

function WinStatus(msg)
{
	window.status=msg;
	return true;
}