function jump(url)
{
    window.open(url, '_blank');
}

function markPage() {
    var pageName = $('div.item h1').text();

    $('div.sidenav li a').filter(function () {
        return $(this).text() == pageName;
    }).parent('li').addClass('currentPage');
}