HASH(0x7f5cba3ba7d8)