function mouseOver(button, button_name)
{
   button.src = '/static/images/' + button_name;
}
function mouseOut(button, button_name)
{
   button.src = '/static/images/' + button_name;
}