HASH(0x7f5cf51ac3b8)