$(document).ready(function () {
    $('div.menu').load('/davidtest/includes/menu.txt', function() {
        /* callback */
        var mypath = window.location.pathname
        //alert('Host name is: ' + mypath + ' ' + window.document.lastModified);
        setnav();
    });
});