implement Hash.[]