return (typeof object == "undefined"); 
return (typeof object[name] == "undefined"); 
	var _undef = function(name,object){                return (typeof object == "undefined");        };
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/3c320dfca9d83b1923832b0fca61ace82270f74f/check.js/clean/validate/check.js