HASH(0x7f5c99ec64f8)