HASH(0x7f5ce06d93b0)