/* button.js		funzioni varie sui bottoni  */



function change1(name)
{
document.getElementById(name).style.background="url(graphics/mb_over.png)";
}

function change2(name)
{
document.getElementById(name).style.background="url(graphics/mb.png)";
}

function change3(name)
{
document.getElementById(name).style.background="url(graphics/mb_down.png)";
}