HASH(0x7fedb4474e30)