HASH(0x7fedbc036248)