//addEvent(window, 'load', init, false);

function init()
{
    //top_menu_hover();
}

function top_menu_hover()
{
    if (document.getElementById && document.getElementById("top-menu")) {
        var top_menu = document.getElementById("top-menu");
        
    }
}