HASH(0x7f5cf4fbe6d8)