//
//  Navigation.js
//


var navigation =  "<P><a href=\"./foundation/index.html\">Hanlon Foundation</a>	\
		   <P><a href=\"./mike/index.html\">Mike</a>";


document.write(navigation);