function updateMenu()
{
    if (!document.all) return;
    var menu = document.getElementById("body");
    menu.style.backgroundImage="none";
    menu.style.backgroundImage="url(img/baloldal.jpg)";
/*
    menu = document.getElementById("menu");
    if (menu == null) return;
    menu.style.display = "none";
    menu.style.display = "";
*/
}