HASH(0x7f5ce00df0e8)