case 'number': if (isFinite(obj)) break; case false: return 'null'; 
	toString: function(obj){		switch($type(obj)){			case 'string':				return '"' + obj.replace(/(["\\])/g, '\\$1') + '"';			case 'array':				return '[' + obj.map(Json.toString).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);	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/0bf209ea59d8f5f8f4cd6fd6a34c72f4723981f8/Json.js/clean/Remote/Json.js