document.write('<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3/jquery.min.js"></script>');
document.write('<script type="text/javascript" src="http://www.dartmouth.edu/~webpub/javascripts/nav/currenthighlight.js"></script>');