return (obj != undefined) ? obj : picked; 
return $defined(obj) ? obj : picked; 
function $pick(obj, picked){	return (obj != undefined) ? obj : picked;};
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/9df6245ae1b7a21b9664a8c7b6f3b76276a13a77/Utility.js/buggy/Core/Utility.js