for (var property in obj) string.push(Json.toString(property)+':'+Json.toString(obj[property])); return '{'+string.join(',')+'}'; 
for (var property in obj) string.push(Json.toString(property) + ':' + Json.toString(obj[property])); return '{' + string.join(',') + '}'; 
	toString: function(obj){		switch($type(obj)){			case 'string':				return '"'+obj.replace(/(["\\])/g, '\\$1')+'"';			case 'array':				return '['+ obj.map(function(ar){					return Json.toString(ar);				}).join(',') +']';			case 'object':				var string = [];				for (var property in obj) string.push(Json.toString(property)+':'+Json.toString(obj[property]));				return '{'+string.join(',')+'}';		}		return String(obj);	},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/c4252cb682139cd89b713656f8f54f375ceccd55/Json.js/clean/Remote/Json.js