HASH(0x7f5cae7ea2b8)