function button_hover(what, x, y)
{
    //alert(new Number(what.style.backgroundPosition.replace("px", "").substring(0, what.style.backgroundPosition.indexOf(" "))));
    what.style.backgroundPosition = x + "px " + y + "px";
    //what.style.backgroundPosition = "0px " + y + "px";
   }