HASH(0x7f5ce0d4b8d0)