HASH(0x7f5cca0a17f8)