HASH(0x7fedca6042c8)