// JavaScript Document
function buttondown( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = "img/" + buttonname + "_b.gif";
	  
	}
}
function buttonup ( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = "img/" + buttonname + "_a.gif";
    }
}