return '['+ obj.map(function(ar){ 
return '[' + obj.map(function(ar){ 
				return '['+ obj.map(function(ar){					return Json.toString(ar);				}).join(',') +']';
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/c4252cb682139cd89b713656f8f54f375ceccd55/Json.js/buggy/Remote/Json.js