HASH(0x7fee0c59ed80)