for (var property in obj) string.push('"'+property+'":'+Json.toString(obj[property])); 
for (var property in obj) string.push(Json.toString(property)+':'+Json.toString(obj[property])); 
	toString: function(obj){		switch ($type(obj)){			case 'string':				return '"'+obj.replace(new RegExp('(["\\\\])', '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('"'+property+'":'+Json.toString(obj[property]));				return '{'+string.join(',')+'}';		}		return String(obj);	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/094eed1674ea2e993d05e6a46491da82998fa036/Json.js/buggy/Remote/Json.js