HASH(0x7f5ccbb56c28)