HASH(0x7f5ce8e1b8d8)