HASH(0x7f5ce9e7e5f8)