HASH(0x7fee1a5df7b0)