function menu_jump(url)
{
        if (url != "")
        {
                window.location=url;
        }
        else return false;
}