HASH(0x7f5ce0ef52b0)