if ($defined(val)) string.push(Json.encode(prop), ':', val); 
if ($defined(val)) string.push(Json.encode(prop) + ':' + val); 
	encode: function(obj){		switch ($type(obj)){			case 'string':				return '"' + obj.replace(/[\x00-\x1f\\"]/g, Json.$replaceChars) + '"';			case 'array':				return '[' + obj.map(Json.encode).filter($defined).join(',') + ']';			case 'object':				var string = [];				for (var prop in obj){					var val = Json.encode(obj[prop]);					if ($defined(val)) string.push(Json.encode(prop), ':', val);				}				return '{' + string.join(',') + '}';			case 'number':			case 'boolean': return String(obj);			case false: return 'null';		}		return null;	},
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/bc2267d5b86b81e6c35f1a1a30e8390e89bb0f68/Json.js/clean/Remote/Json.js