HASH(0x7f5cdd07b8f8)