// highlight current page on navbar
		/*$.include("jquery.url.js");
	$(function(){
		
		$page = jQuery.url.attr("file");
		if(!$page) {
			$page = 'index.html';
		}
		$('div#nav ul li a').each(function(){
			var $href = $(this).attr('href');
			if ( ($href == $page) || ($page == 'index.html' && $href == '') || ($page == 'index.html' && $href == './')) {
				$(this).addClass('current');
			} else {
				$(this).removeClass('current');
			}
		});
	});
*/