HASH(0x7f5cf55b33f8)