HASH(0x7fee1b7da1e8)