HASH(0x7fedca5b05b0)