var every1 = arr1.every(function(item){ 
arr = Array.map(arr, function(item){ 
		var every1 = arr1.every(function(item){			return ($type(item) == 'number');		});
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/f98ec1ab149f173a9660792986c96b4be0d6e14e/Array.js/clean/Test/Native/Array.js