HASH(0x7fedda640e90)