HASH(0x7fedca5e2b18)