add: this.result_cnt = 0; 
context: function FGMapMenuNav(fgmapmenu) {    this.fgmapmenu = fgmapmenu;    this.fgmap = fgmapmenu.fgmap;    this.setup();}
meta: 2874	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2874/f44124eff631c86a032f5650f0306fcebf78e430/fgmap_menu_nav.js/clean/fgmap_menu_nav.js