HASH(0x7f5cf424a3f8)