HASH(0x7f5cae54b3c8)