if($("live-grid")){ 
if($("#live-grid").size()){ 
Ext.onReady(function() {	if($("live-grid")){		var grid = new Ext.grid.TableGrid("live-grid");		grid.render();	}});
7945	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7945/d8d081a05699fa3da4febdbd489ab4de8c761ade/ext.conf.js/clean/include/ext/ext.conf.js