function menu_over(id) {
    document.getElementById(id).style.backgroundPosition = "0px -13px";
}
function menu_out(id) {
    document.getElementById(id).style.backgroundPosition = "0px 0px";
}