HASH(0x7fedca5e4128)