_handleNav: function(evt) { 
_handleNav: function(evt){ 
	_handleNav: function(evt) {		// summary: does nothing? _that_ seems useful.		evt.stopPropagation(); 	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/72b92cc1f1641b0e91d2b848ed071738dd6084ae/_base.js/clean/presentation/_base.js