HASH(0x7f5cf41da6d8)