function over(x) {
document.getElementById(x).style.backgroundImage="url(images/button_over.jpg)";
document.getElementById(x).backgroundRepeat="no-repeat";
}
function out(x) {
document.getElementById(x).style.backgroundImage="url(images/button.jpg)";
document.getElementById(x).backgroundRepeat="no-repeat";
}