function swap(button_off, button_on)
{
button_off.src=button_on.src;
}