HASH(0x7fedca5994e8)