HASH(0x7fedea640e40)