var $extend = function(){ 
function $extend(){ 
var $extend = function(){	var args = arguments;	if (!args[1]) args = [this, args[0]];	for (var property in args[1]) args[0][property] = args[1][property];	return args[0];};
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/cfef8bdbf5b8ce6cb15ddef615744c3dc1fe79b5/Core.js/clean/Core/Core.js