
//Fixes bug in IE for flash menu
objects = document.getElementsByTagName("object");
for (var i = 0; i < objects.length; i++)
{
    objects[i].outerHTML = objects[i].outerHTML;
}


function $(element){ 
    if (document.getElementById){
        return document.getElementById(element); 
    }
}

//Flips the image to on/off position
//For fallback menu
function flip(id){ 
    var img = $(id); 
    if(img != null){ 
        if(img.src.indexOf("_on",0)==1){
            img.src=img.src.replace(/_on/,"_off");
        }
        else{
            img.src=img.src.replace(/off/,"_on");
        }
    }
}

function on(id)
{
    var img = $(id);
    img.src = img.src.replace(/_off/,"_on");
}

function off(id)
{
    var img = $(id);
    img.src = img.src.replace(/_on/,"_off");
}


