//
//  Navigation.js
//


var navigation =  "<P><a href=\"./foundation/index.html\">Hanlon Foundation</a>	\
		   <P><a href=\"http://faculty.washington.edu/hanlonm\"\">Mike</a>";


document.write(navigation);