HASH(0x7fee1780c7d8)