rem: if (tool != 'aoi') $('im_geonetRecords').className = 'im_hidden'; 
add: /*	if (tool != 'aoi') $('im_geonetRecords').className = 'im_hidden';*/ 
context: function setTool(tool) {	deleteAoi();	currentTool = tool;	$('intermap_root').className = tool; //document.body.className = tool;	if (tool != 'aoi') $('im_geonetRecords').className = 'im_hidden';}
meta: 6986	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6986/d860963afcc23077a988cf109abe62a0edcdd6ac/im_bigmap.js/buggy/web/intermap/scripts/im_bigmap.js