/* Fix background image cache issues in IE */
    
try
{
    document.execCommand("BackgroundImageCache", false, true);
}
catch (err)
{ }

function showMenu(id)
{
    hideAll();
    show($(id));
    show($('hideMenuTrigger'));
}

function hideAll()
{
    hide($('theatreMenu'));
    hide($('movieMenu'));
    hide($('grandCafeMenu'));
    hide($('infoMenu'));
    hide($('rentalMenu'));
    hide($('hideMenuTrigger'));
}

function hide(element)
{
    element.style.display = 'none';
}

function show(element)
{
    element.style.display = 'block';
}