//
//  Navigation.js
//


var navigation =  "<P><a href=\"index.html\">Home</a>	        \
   		   <P><a href=\"research.html\">Research</a> 	\
		   <P><a href=\"teaching.html\">Teaching</a> 	\
		   <P><a href=\"writing.html\">Writing</a> 	\
		   <P><a href=\"http://www.econ.washington.edu/\">Econ Dept</a>";


document.write(navigation);