HASH(0x7fedca5b1a18)