HASH(0x7fedbe64d2f8)