HASH(0x7f5ca4e7d7a0)