// JavaScript Document
function buttondown( buttonname )
{
	  document[ buttonname ].src = "images/" + buttonname + "2.gif";
}

function buttonup ( buttonname )
{
	  document[ buttonname ].src = "images/" + buttonname + "1.gif";
}