HASH(0x7f5cab1c7d60)