HASH(0x7fedc259cf50)