HASH(0x7fedb25f9208)