var newHash = oldHash.map(function(value){ return (value + 1); 
var newHash = Hash.filter(oldHash, function(item){ return ($type(item) == 'number'); 
		var newHash = oldHash.map(function(value){			return (value + 1);		});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/f98ec1ab149f173a9660792986c96b4be0d6e14e/Hash.js/buggy/Test/Native/Hash.js