HASH(0x7f5cc8040bd8)