HASH(0x7fedea6050f0)