HASH(0x7f5ce8c5e7b8)