function buttondown( buttonname, imagefile ){
    document[ buttonname ].src = imagefile + "On.gif";
    }

function buttonup ( buttonname, imagefile ){
    document[ buttonname ].src = imagefile + "Off.gif";
    }