function buttondown(buttonname, filename)
{
	if(document.images)
	{
		document[buttonname].src = "images/" + filename + "_hover.gif";
		window.status = buttonname;
	}
	return true;
}

function buttonup(buttonname, filename)
{
	if (document.images)
	{
		document[buttonname].src = "images/" + filename + ".gif";
		window.status = buttonname;
	}
	return true;
}

function buttonload(filename)
{
    var buttonup = new Image();
    	buttonup.src = "images/" + filename + ".gif";
    var buttondown     = new Image();
		buttondown.src = "images/" + filename +  "_hover.gif";
}