function buton(thisBut) {
    document.getElementById(thisBut).src = 'img/' + thisBut + '-b.gif';
}

function butoff(thisBut) {
    document.getElementById(thisBut).src = 'img/' + thisBut + '-a.gif';
}