Misc. Links and Tools
	Paul Deng's Homepage
	old version of this page