extended = extended || {}; for (var property in extended) original[property] = extended[property]; 
for (var key in (extended || {})) original[key] = extended[key]; 
function $extend(original, extended){	extended = extended || {};	for (var property in extended) original[property] = extended[property];	return original;};
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/b778c8f57299ed0f3b0b3d2a2aeee1b26d0e9568/Core.js/buggy/Source/Core/Core.js