HASH(0x7f5c755af0c8)