function hover(id) {
document.getElementById(id).src = '/img/'+id+'_hover.gif';

}

function unhover(id) {
document.getElementById(id).src = '/img/'+id+'.gif';

}