HASH(0x7fedc01873b0)