$(function() {
    $("#header").click(function() {
        location.href = "/index.html";
    });

// highlight current page in menu

    $page = "/" + jQuery.url.attr("file");
    if (!$page) {
        $page = 'index.html';
    }
    $('#navigation a').each(function() {
        var $href = $(this).attr('href');
        if (($href == $page) || ($href == '')) {
            $(this).addClass('currentPage');
        } else {
            $(this).removeClass('currentPage');
        }
    });
});