HASH(0x7fedca6546c8)