function menu(page, pageName){


	if (page == window.location.pathname.substring(window.location.pathname.lastIndexOf("/")+1,window.location.pathname.indexOf("."))){
		document.write('<span>'+pageName+'</span><br />');
	}
	else{
		document.write('<a href=\"'+page+'.html\">'+pageName+'</a><br />');
	}	
}