HASH(0x7f5cf41bddc8)