function hoverbuttonON(button) {
document.getElementById(button).style.backgroundImage = 'url(images/horseshoeover.gif)';
document.getElementById(button).style.color = '#C61333';
}
function hoverbuttonOFF(button) {
document.getElementById(button).style.backgroundImage = 'url(images/horseshoe.gif)';
document.getElementById(button).style.color = '#000000';
}